Skip to content

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Aug 25, 2025

These buttons show/hide multiple diagrams (all diagrams in the book, really), so it makes sense it probably should be plural.

Closes #1842

These buttons show/hide multiple diagrams (all diagrams in the book,
really), so it makes sense it probably should be plural.

Closes rust-lang#1842
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Aug 25, 2025
@traviscross traviscross added this pull request to the merge queue Aug 26, 2025
Merged via the queue into rust-lang:master with commit 3279c0e Aug 26, 2025
5 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Aug 26, 2025
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.

the diagrams button labels should probably be plural ?
3 participants