Closes #7 (closed)
added 1 commit
Compare with previous version
assigned to @jmakai
unmarked as a Work In Progress
@jmakai can you merge it?
enabled an automatic merge when the pipeline for 754bfeb7 succeeds
Yes, done.
merged
mentioned in commit 1a8819f0
