Skip to content

Conversation

@veloce
Copy link
Contributor

@veloce veloce commented Oct 1, 2025

Fixes #2219

@veloce veloce merged commit fd9ebe6 into main Oct 2, 2025
1 check passed
@veloce veloce deleted the fix_corres_push branch October 2, 2025 13:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Notifications for opponent moves don’t arrive if app just closed

2 participants