Skip to content

Conversation

@taiki-e
Copy link
Member

@taiki-e taiki-e commented Jul 21, 2022

Similar to #811, but for deque and queue.

@taiki-e
Copy link
Member Author

taiki-e commented Jul 21, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Jul 21, 2022

Build succeeded:

@bors bors bot merged commit 6baa072 into master Jul 21, 2022
@bors bors bot deleted the get-mut branch July 21, 2022 13:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants