Closes #39 (closed)
assigned to @pederany
enabled an automatic merge when the pipeline for 6a6c251d succeeds
merged
mentioned in commit cdcc69ff