Skip to content

Conversation

deining
Copy link
Contributor

@deining deining commented Feb 11, 2023

This PR bumps mermaid to latest released version 9.3.0, as requested in #803.

@deining deining merged commit ebf589f into google:main Feb 15, 2023
@deining deining deleted the mermaid-9.3.0 branch February 15, 2023 06:49
@deining
Copy link
Contributor Author

deining commented Feb 15, 2023

Thanks for your approval, merging now.

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.

2 participants