Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add resume_gateway_url support #2832

Merged
merged 1 commit into from
Apr 6, 2024
Merged

Conversation

GnomedDev
Copy link
Member

This announcement was missed (around August 2022) and probably the cause of a lot of the disconnections.

@github-actions github-actions bot added the gateway Related to the `gateway` module. label Apr 2, 2024
@arqunis arqunis added enhancement An improvement to Serenity. discord feature Related to Discord's functionality. labels Apr 3, 2024
@GnomedDev GnomedDev merged commit 8de90dc into serenity-rs:next Apr 6, 2024
21 checks passed
@GnomedDev GnomedDev deleted the add-resume-url branch April 6, 2024 00:40
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request May 14, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request May 14, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request May 23, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request May 28, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Jun 9, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request Jun 22, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Jun 22, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jul 29, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Jul 30, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request Aug 16, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Oct 7, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Oct 20, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request Oct 20, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Nov 11, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit that referenced this pull request Nov 13, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
GnomedDev added a commit to GnomedDev/serenity that referenced this pull request Nov 15, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Dec 8, 2024
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
arqunis pushed a commit to arqunis/serenity that referenced this pull request Jan 16, 2025
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
mkrasnitski pushed a commit to mkrasnitski/serenity that referenced this pull request Feb 1, 2025
This announcement was missed (around August 2022) and probably the cause
of a lot of the disconnections.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
discord feature Related to Discord's functionality. enhancement An improvement to Serenity. gateway Related to the `gateway` module.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants