cc: @Trefex
enabled an automatic merge when the pipeline for c1e2928d succeeds
merged
mentioned in commit 0c7dd2f4