Skip to content

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Oct 7, 2025

Unblocks #2191.

Copy link
Contributor

@nnethercote nnethercote left a comment

Choose a reason for hiding this comment

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

The lint failure seems unrelated to this PR?

@Kobzol
Copy link
Member Author

Kobzol commented Oct 7, 2025

It is related, because I bumped rustc on CI, which triggered new lints :) Already fixed them.

@Kobzol Kobzol enabled auto-merge October 7, 2025 20:34
@Kobzol Kobzol merged commit 566ed03 into rust-lang:master Oct 7, 2025
11 checks passed
@Kobzol Kobzol deleted the bump-msrv branch October 7, 2025 20:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants