Skip to content

Conversation

@adamreichold
Copy link
Member

Following up on #3609 (comment)

@adamreichold
Copy link
Member Author

cc @wyfo

@adamreichold adamreichold added the CI-skip-changelog Skip checking changelog entry label Dec 9, 2023
@wyfo
Copy link
Contributor

wyfo commented Dec 9, 2023

👍 for me

@adamreichold adamreichold added this pull request to the merge queue Dec 14, 2023
@adamreichold adamreichold removed this pull request from the merge queue due to a manual request Dec 14, 2023
@adamreichold adamreichold added this pull request to the merge queue Dec 14, 2023
Merged via the queue into main with commit fc82c9f Dec 14, 2023
@adamreichold adamreichold deleted the more-async-self-hints branch December 14, 2023 12:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI-skip-changelog Skip checking changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants