This is needed for @smuething's opcounting.
enabled an automatic merge when the pipeline for 97d85f3d succeeds
mentioned in commit 7e91baca
merged