Skip to content

Conversation

@jonas-schievink
Copy link
Contributor

Fixes #12114

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 17, 2022
@jonas-schievink
Copy link
Contributor Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 17, 2022

📌 Commit cd6459e has been approved by jonas-schievink

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 17, 2022

⌛ Testing commit cd6459e with merge e162d58...

@bors
Copy link
Contributor

bors commented Nov 17, 2022

☀️ Test successful - checks-actions
Approved by: jonas-schievink
Pushing e162d58 to master...

@bors bors merged commit e162d58 into rust-lang:master Nov 17, 2022
@jonas-schievink jonas-schievink deleted the remove-dbg-selection branch November 17, 2022 16:57
@TonalidadeHidrica
Copy link
Contributor

Thank you very much for implementing the feature!

@TonalidadeHidrica
Copy link
Contributor

Hi @jonas-schievink , the feature you implemented was insanely useful. I have just found a little glitch, which I reported in #13901. I would like to kindly ask you to take a look at it if you have time.

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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove all dbg in the selected range

4 participants