Closes #108 (closed)
added Doing label
added 1 commit
Compare with previous version
unmarked as a Work In Progress
enabled an automatic merge when the pipeline for 002d0de3 succeeds
mentioned in commit e8e8cf09
merged