Closes #37 (closed)
added Release devops labels
added 2 commits
Compare with previous version
marked this merge request as ready
enabled an automatic merge when the pipeline for bf34b203 succeeds
merged
mentioned in commit 66754c9f