Skip to content

Fix 3148-option-result-map-or-default headers#3934

Merged
Urgau merged 1 commit intorust-lang:masterfrom
ehuss:fix-option_result_map_or_default-headings
Mar 23, 2026
Merged

Fix 3148-option-result-map-or-default headers#3934
Urgau merged 1 commit intorust-lang:masterfrom
ehuss:fix-option_result_map_or_default-headings

Conversation

@ehuss
Copy link
Copy Markdown
Contributor

@ehuss ehuss commented Mar 23, 2026

This updates the section headers to use Markdown 2nd level headings. As part of #3883 we switched the template to not use level-1 headings.

Rendered

This updates the section headers to use Markdown 2nd level headings. As
part of rust-lang#3883 we switched the
template to not use level-1 headings.
@ehuss ehuss added the not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc. label Mar 23, 2026
@ehuss
Copy link
Copy Markdown
Contributor Author

ehuss commented Mar 23, 2026

r? internal-sites

Copy link
Copy Markdown
Member

@Urgau Urgau left a comment

Choose a reason for hiding this comment

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

@Urgau Urgau merged commit 458de40 into rust-lang:master Mar 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants