Closes #1192 (closed)
Checking pipeline status.
Pipeline #6539 passed
Pipeline passed for 5c0d8ad1 on development 2 years ago
assigned to @dominik
added 1 commit
Compare with previous version
marked this merge request as ready
mentioned in commit 5c0d8ad1
merged