Skip to content

Always handle subscription IDs in session.unsubscribe if provided#867

Merged
OrKoN merged 2 commits intomainfrom
orkon/order-subscription-id
Jan 24, 2025
Merged

Always handle subscription IDs in session.unsubscribe if provided#867
OrKoN merged 2 commits intomainfrom
orkon/order-subscription-id

Conversation

@OrKoN
Copy link
Contributor

@OrKoN OrKoN commented Jan 22, 2025

Copy link
Contributor

@juliandescottes juliandescottes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall looks good to me, but it makes the algorithm a bit harder to follow (see comment). Would still like to make sure that @jgraham is fine with this as well.

@OrKoN OrKoN merged commit 1d0fcc1 into main Jan 24, 2025
5 checks passed
@OrKoN OrKoN deleted the orkon/order-subscription-id branch January 24, 2025 08:04
github-actions bot added a commit that referenced this pull request Jan 24, 2025
SHA: 1d0fcc1
Reason: push, by OrKoN

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
sadym-chromium pushed a commit that referenced this pull request Feb 25, 2025
* Always handle subscription IDs in session.unsubscribe if provided

* add a note
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.

3 participants