Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
And in my opinion, users usually aren't interested in whether it reloads or not: they just want to play again
- Loading branch information