Skip to content

[Fix] Discord request_user_input pauses again after user answers#583

Merged
mrubens merged 3 commits into
developfrom
fix/discord-request-user-input-2xiyizeolznbn
Jul 19, 2026
Merged

[Fix] Discord request_user_input pauses again after user answers#583
mrubens merged 3 commits into
developfrom
fix/discord-request-user-input-2xiyizeolznbn

fix: atomically claim Discord request_user_input answers

1943229
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jul 19, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.