Closes #17 (closed) #18 (closed) #20 (closed) #22 (closed) #25 (closed) #26 (closed) #27 (closed)
Checking pipeline status.
Merge details
Closed #17 (closed), #18 (closed), #20 (closed), #22 (closed), #25 (closed), #26 (closed), and #27 (closed)
approved this merge request
added 1 commit
Compare with previous version
marked this merge request as ready
changed the description
merged
mentioned in commit 66d17b10
