Skip to content

docs: update style_edition option#6936

Merged
ytmimi merged 1 commit into
rust-lang:mainfrom
hwup:docs-update-style-edition
Jun 2, 2026
Merged

docs: update style_edition option#6936
ytmimi merged 1 commit into
rust-lang:mainfrom
hwup:docs-update-style-edition

Conversation

@hwup

@hwup hwup commented May 31, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@rustbot

This comment was marked as off-topic.

@rustbot rustbot added the S-waiting-on-review Status: awaiting review from the assignee but also interested parties. label May 31, 2026
Comment thread Configurations.md Outdated
@jieyouxu jieyouxu added A-config Area: configuration A-docs Area: documentation labels May 31, 2026
@hwup hwup force-pushed the docs-update-style-edition branch from b695377 to c8140df Compare June 2, 2026 09:34

@jieyouxu jieyouxu left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

@jieyouxu jieyouxu added the pr-ready-to-merge Status: PR is largely ready for merge, waiting for secondary review / last nits label Jun 2, 2026
@ytmimi ytmimi merged commit 4b2d8b2 into rust-lang:main Jun 2, 2026
26 checks passed
@rustbot rustbot added release-notes Needs an associated changelog entry and removed S-waiting-on-review Status: awaiting review from the assignee but also interested parties. labels Jun 2, 2026
@ytmimi ytmimi removed the pr-ready-to-merge Status: PR is largely ready for merge, waiting for secondary review / last nits label Jun 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-config Area: configuration A-docs Area: documentation release-notes Needs an associated changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants