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