Closes #39 (closed)
Pipeline #5752 passed
Pipeline passed for 147a86da on 39-fix-end-game 10 months ago
Merge details
Closed #39 (closed)
Pipeline #5754 passed
Pipeline passed for ed3c5dc8 on master 10 months ago
added ⚠️ bug label
assigned to @benoit
added 1 commit
Compare with previous version
marked this merge request as ready
enabled an automatic merge when the pipeline for 147a86da succeeds
mentioned in commit ed3c5dc8
merged