Skip to content

Conversation

@bnchi
Copy link
Contributor

@bnchi bnchi commented Nov 6, 2025

fixes #7242

@bnchi bnchi changed the title Fix the editor list not rendering corerctly Fix the editor list not rendering correctly Nov 6, 2025
@bnchi bnchi force-pushed the twir/fix-editor-list branch from a127ff4 to feede5d Compare November 6, 2025 12:00
@bnchi bnchi force-pushed the twir/fix-editor-list branch from feede5d to 2f2b87e Compare November 6, 2025 12:03
Copy link
Contributor

@mariannegoldin mariannegoldin left a comment

Choose a reason for hiding this comment

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

Thank you!

@mariannegoldin mariannegoldin merged commit 7e103d8 into rust-lang:master Nov 7, 2025
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.

Issue with rendering the markdown for the editor's list on the website

2 participants