merge from dev, version bump to 2.1.0

This commit is contained in:
Daan Leijen 2023-03-20 11:05:18 -07:00
commit 3fc30c4a1e
33 changed files with 124 additions and 75 deletions

View file

@ -1,6 +1,6 @@
set(mi_version_major 2)
set(mi_version_minor 0)
set(mi_version_patch 9)
set(mi_version_minor 1)
set(mi_version_patch 0)
set(mi_version ${mi_version_major}.${mi_version_minor})
set(PACKAGE_VERSION ${mi_version})