Skip to content

fix: rust-2018-idioms#22

Merged
mkroening merged 1 commit intomainfrom
rust-2018-idioms
Feb 27, 2026
Merged

fix: rust-2018-idioms#22
mkroening merged 1 commit intomainfrom
rust-2018-idioms

Conversation

@mkroening
Copy link
Copy Markdown
Member

No description provided.

@mkroening mkroening self-assigned this Feb 27, 2026
@phip1611
Copy link
Copy Markdown
Member

btw: I think we could and should upgrade this to rust edition 2024 soon-ish

@mkroening mkroening added this pull request to the merge queue Feb 27, 2026
Merged via the queue into main with commit 224ad8b Feb 27, 2026
14 checks passed
@mkroening mkroening deleted the rust-2018-idioms branch February 27, 2026 08:59
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