Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Apr 8, 2025

A very simple fix to make importing the correct Ordering enum less annoying.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 8, 2025
@Veykril Veykril force-pushed the push-twqrorwqzmwv branch from 3448bd4 to 3b73a42 Compare April 8, 2025 07:01
@Veykril Veykril enabled auto-merge April 8, 2025 07:01
@Veykril Veykril force-pushed the push-twqrorwqzmwv branch from 3b73a42 to 7255ef1 Compare April 8, 2025 07:21
@Veykril Veykril added this pull request to the merge queue Apr 8, 2025
Merged via the queue into rust-lang:master with commit fa53aab Apr 8, 2025
14 checks passed
@Veykril Veykril deleted the push-twqrorwqzmwv branch April 8, 2025 07:44
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.

2 participants