Merge branch 'master' into develop

This commit is contained in:
Ashish Jain
2020-07-22 19:30:55 +02:00
12 changed files with 24774 additions and 5458 deletions

28604
dist/mermaid.js vendored

File diff suppressed because one or more lines are too long