As spotted by @tlevens
assigned to @pelson
enabled an automatic merge when the pipeline for edc7eb4b succeeds
canceled the automatic merge
mentioned in commit 545189d9
merged