Skip to content

rename the MSRV alias MANUAL_DIV_CEIL to DIV_CEIL #14329

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 8, 2025

Conversation

lapla-cogito
Copy link
Contributor

I renamed the MSRV alias MANUAL_DIV_CEIL to DIV_CEIL in #14263, as MSRV aliases should represent their capability rather than the lint name. However, it seems this change was mistakenly overwritten in #14022.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Mar 1, 2025

r? @dswij

rustbot has assigned @dswij.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Mar 1, 2025
@lapla-cogito lapla-cogito force-pushed the manualdivceil_msrv_re branch from 9a84586 to 6537f93 Compare March 1, 2025 13:40
@samueltardieu
Copy link
Contributor

Wow, so strange.

@dswij dswij added this pull request to the merge queue Mar 8, 2025
Merged via the queue into rust-lang:master with commit 19930f9 Mar 8, 2025
11 checks passed
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