apparently !1094 (merged) was not in master?
Pipeline #43151 passed
Pipeline passed for 045459c7 on fix-master-conflicts 2 years ago
Merge details
Pipeline #43152 passed
Pipeline passed for 25e628ef on develop 2 years ago
enabled an automatic merge when the pipeline for 045459c7 succeeds
merged
mentioned in commit 25e628ef