The source project of this merge request has been removed.
Closes #80 (closed)
approved this merge request
enabled an automatic merge when the pipeline for b8f8dcd1 succeeds
canceled the automatic merge
enabled an automatic merge when the pipeline for b8f8dcd1 succeeds
merged
mentioned in commit 119fa1dc