Skip to content
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

Fix header rules #1770

Merged
merged 2 commits into from
Apr 1, 2025
Merged

Fix header rules #1770

merged 2 commits into from
Apr 1, 2025

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Mar 27, 2025

This fixes some inadvertent changes from #1710 where some of the rules aren't positioned correctly relative to their header, and some extra blank lines were added.

ehuss added 2 commits March 27, 2025 09:08
Some of these were missed in
rust-lang#1710 or were inadvertently
merged after that PR.
Most of these snuck in with rust-lang#1710.
As part of the style guide, there shouldn't be double blank lines.
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Mar 27, 2025
@traviscross traviscross added this pull request to the merge queue Apr 1, 2025
Merged via the queue into rust-lang:master with commit 96618fa Apr 1, 2025
5 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: The marked PR is awaiting review from a maintainer
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants