Depends on bob.measure!89 (merged)
enabled an automatic merge when the pipeline for a4816531 succeeds
merged
mentioned in commit f56a29d1