Skip to content

Fix settings page#103088

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:fix-settings-page
Oct 16, 2022
Merged

Fix settings page#103088
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:fix-settings-page

Conversation

@GuillaumeGomez
Copy link
Member

Thanks to #103060, I discovered that the settings page was badly rendered. This PR fixes it.

Before:
Screenshot from 2022-10-15 16-02-41

After:
Screenshot from 2022-10-15 16-02-31

r? @notriddle

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants