Closes #412 (closed)
added bug label
@tksl38 piing
enabled an automatic merge when the pipeline for 1211d6d5 succeeds
mentioned in commit 2b56ca33
merged