Closes #204 (closed)
Checking pipeline status.
Merge details
Closed #204 (closed)
Pipeline #55156 passed
Pipeline passed for de10de84 on master 2 years ago
added 1 commit
Compare with previous version
marked this merge request as ready
merged
mentioned in commit de10de84