Closes #78 (closed)
added 1 commit
Compare with previous version
marked this merge request as ready
enabled an automatic merge when the pipeline for 98534591 succeeds
aborted the automatic merge because source branch was updated
enabled an automatic merge when the pipeline for bf4a1c3e succeeds
merged
mentioned in commit ac48ca1f