Fixes #85 (closed)
added Bug label
enabled an automatic merge when the pipeline for a6f23df7 succeeds
mentioned in commit 002128ee