Warnings shown after !164 (merged)
enabled an automatic merge when the pipeline for d2613640 succeeds
mentioned in commit a283a377
merged