This file is modified automatically and thus will fail each time after a new release.
added bug label
enabled an automatic merge when the pipeline for 8014ac65 succeeds
merged
mentioned in commit 40b01644
Actually I have fixed this in bob.devtools to include a newline when it's changing version.txt
Good to know, I'll revert that after the next release of the package.
