Resolve "Fix end game detection"
Closes #16 (closed)
Edited by Benoît Harrault
Closes #16 (closed)
assigned to @benoit
marked this merge request as ready
enabled an automatic merge when the pipeline for 79177fc7 succeeds
merged
mentioned in commit b94cd54d