Skip to content

Conversation

@deining
Copy link
Contributor

@deining deining commented Jun 17, 2023

This PR addresses and closes #1583.

@deining deining added the user guide Improvements to user guide label Jun 17, 2023
@deining deining requested a review from chalin June 17, 2023 07:32
@chalin chalin merged commit 6f03b4b into google:main Jun 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

user guide Improvements to user guide

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Double-quote in top-level menu icon code causes rebuild to fail

2 participants