Skip to content

chore(auth): Make close part of the public API#267

Merged
dnys1 merged 1 commit intomainfrom
03-20-chore_auth_make_close_part_of_the_public_api
Mar 21, 2025
Merged

chore(auth): Make close part of the public API#267
dnys1 merged 1 commit intomainfrom
03-20-chore_auth_make_close_part_of_the_public_api

Conversation

@dnys1
Copy link
Member

@dnys1 dnys1 commented Mar 21, 2025

So that it can be called in generated client code.

So that it can be called in generated client code.
Copy link
Member Author

dnys1 commented Mar 21, 2025

Merge activity

  • Mar 20, 7:16 PM PDT: A user started a stack merge that includes this pull request via Graphite.
  • Mar 20, 7:17 PM PDT: A user merged this pull request with Graphite.

@dnys1 dnys1 merged commit 215ace2 into main Mar 21, 2025
5 checks passed
@dnys1 dnys1 deleted the 03-20-chore_auth_make_close_part_of_the_public_api branch March 21, 2025 02:17
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.

1 participant