Closes #31 (closed)
Pipeline #3791 passed
Pipeline passed for edff7d5f on 31-fix-end-game-block 2 years ago
Pipeline #3792 passed
Pipeline passed for 0c16d237 on master 2 years ago
assigned to @benoit
added 1 commit
Compare with previous version
marked this merge request as ready
enabled an automatic merge when the pipeline for edff7d5f succeeds
mentioned in commit 0c16d237
merged
