Closes #523
Checking pipeline status.
assigned to @mweise
added 2 commits
Compare with previous version
added 1 commit
enabled an automatic merge when all merge checks for 826d0a72 pass
requested review from @mweise
canceled the automatic merge
enabled an automatic merge when all merge checks for 56142c9c pass
marked this merge request as ready
mentioned in commit f3726eee
merged
