Changes
Summary
- [maven-release-plugin] prepare release Release/2.7.2 (commit: 9a86d2e) (details)
- [maven-release-plugin] prepare for next development iteration (commit: 2412c37) (details)
- Fix bug with import type mismatch with export (commit: 03c6582) (details)
- Suppress details as well as messages in VDMError when suspended (commit: b652fba) (details)
- Fix min_/max_ functions, fixes #706 (commit: c354db8) (details)