Skip to content

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Mar 8, 2022

CC #11653

bors r+

@bors
Copy link
Contributor

bors bot commented Mar 8, 2022

@bors bors bot merged commit 0f5df8e into rust-lang:master Mar 8, 2022
@lnicola lnicola deleted the api-proposals branch March 8, 2022 06:45
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