See relevant issue at bob/bob.nightlies#49.
Pipeline #32513 passed
Pipeline passed for 9b1b236a on bump-bob-beat-devel 5 years ago
Pipeline #32516 passed
Pipeline passed for 3d6f8eed on master 5 years ago
enabled an automatic merge when the pipeline for 9b1b236a succeeds
merged
mentioned in commit 3d6f8eed