[pull] develop from mermaid-js:develop#110

pull[bot] merged 3 commits intocode:developcode/app-mermaid:developfrom

mermaid-js:developmermaid-js/mermaid:developCopy head branch name to clipboard