Skip to content

Conversation

burrbull
Copy link
Member

related to #507

r? @adamgreig

@burrbull burrbull requested a review from a team as a code owner April 17, 2021 10:31
@rust-highfive rust-highfive added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-tools labels Apr 17, 2021
@burrbull burrbull mentioned this pull request Apr 17, 2021
Copy link
Member

@adamgreig adamgreig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors merge

@bors bors bot merged commit 26ddbe1 into master Apr 17, 2021
@bors bors bot deleted the move-interrupt branch April 17, 2021 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-tools
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants