#303 (closed)
assigned to @bechon27
requested review from @hgeorjon
enabled an automatic merge when the pipeline for d908287d succeeds
mentioned in commit 10541f8d
merged