assigned to @nik
enabled an automatic merge when the pipeline for 8da9e16d succeeds
OK to tag.
merged
mentioned in commit c85ab041