Closes #187 (closed)
added 5 commits
Compare with previous version
unmarked as a Work In Progress
added 3 commits
enabled an automatic merge when the pipeline for 531324ce succeeds
merged
mentioned in commit e0f64f3b