8.13.7
52af0476 · Merge branch 'develop' of github.com:mermaid-js/mermaid into develop ·