Check bob.db.ijbc!1 (merged)
enabled an automatic merge when the pipeline for b9712a35 succeeds
merged
mentioned in commit 2e11f670