mirror of
https://github.com/mermaid-js/mermaid.git
synced 2025-10-22 15:39:41 +02:00
This reverts commit1a0309fb87, reversing changes made to56a8068a7f. This is because the PR https://github.com/mermaid-js/mermaid/pull/3702 worked fine on the `develop` and `release_9.2.0_buggfixes` branches, but had a bunch of git merge conflicts on the `release/9.2.0` branch.