Merge branch 'master' of https://github.com/mermaid-js/mermaid-live-editor into develop
* 'master' of https://github.com/mermaid-js/mermaid-live-editor:
This commit is contained in:
* 'master' of https://github.com/mermaid-js/mermaid-live-editor: