Closed rherrmannr closed 4 years ago
fix #3180
reopened https://github.com/Yakindu/statecharts/pull/3181
fix #3180