Skip to content

Better formatting - #2024

Merged
marioidival merged 1 commit into
rust-lang:masterfrom
BertramScharpf:bsch
Sep 15, 2026
Merged

marioidival merged 1 commit into
rust-lang:masterfrom
BertramScharpf:bsch

Conversation

@BertramScharpf

Copy link
Copy Markdown
Contributor

Just a proper indentation.

@rustbot

rustbot commented Jul 2, 2026

Copy link
Copy Markdown
Collaborator

r? @marioidival

rustbot has assigned @marioidival.
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

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: @marioidival

@marioidival
marioidival merged commit af5ef70 into rust-lang:master Sep 15, 2026
1 check passed
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.

3 participants