Closes #76 (closed)
added bug label
assigned to @berber
enabled an automatic merge when the pipeline for ae12d61e succeeds
merged