Merge of cherry pick

This commit is contained in:
Knut Sveidqvist
2020-07-26 08:03:56 +02:00
parent d12b197ec9
commit 62acc18e7d
9 changed files with 87 additions and 13 deletions

4
dist/mermaid.min.js vendored

File diff suppressed because one or more lines are too long