Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented May 4, 2023

Fixes the issue in the comment here #10084 (comment), not the general issue unfortunately.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 4, 2023
@Veykril
Copy link
Member Author

Veykril commented May 4, 2023

@bors r+

@bors
Copy link
Contributor

bors commented May 4, 2023

📌 Commit 9419fcb has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 4, 2023

⌛ Testing commit 9419fcb with merge 0dd94d3...

@bors
Copy link
Contributor

bors commented May 4, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 0dd94d3 to master...

@bors bors merged commit 0dd94d3 into rust-lang:master May 4, 2023
@Veykril Veykril deleted the def-map-fix branch May 4, 2023 19:14
@orende
Copy link

orende commented May 5, 2023

Looking forward to try this out in the next release.

Edit: Just got the new pre-release of the plugin and the problem is now solved!

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.

4 participants