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

pull[bot] merged 2 commits into

code:developcode/app-mermaid:developfrom

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