Skip to content

Conversation

@adaszko
Copy link
Contributor

@adaszko adaszko commented May 31, 2022

@alexcrichton alexcrichton merged commit fe71885 into rust-lang:master May 31, 2022
@alexcrichton
Copy link
Member

Thanks!

@cloudhead cloudhead deleted the adaszko/tag_annotation_create branch June 1, 2022 09:24
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.

2 participants