Updated version and changelog.

mCRL2org · Jul 1, 2022 · 2002ba4 · 2002ba4
1 parent 5504747
commit 2002ba4
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,3 +1,12 @@
+===============================================================================
+Changes between toolset releases 202206.0 and 202206.1:
+===============================================================================
+
+This release contains two bug fixes:
+  * Write counterexample's structured output trace on a single line.
+  * Fixed that hidden actions (the --tau option) were not properly recognized in
+    ltsconvert.
+
 ===============================================================================
 Changes between toolset releases 202106.0 and 202206.0:
 ===============================================================================

diff --git a/build/cmake/MCRL2Version.cmake b/build/cmake/MCRL2Version.cmake
@@ -24,7 +24,7 @@
 #     not be generated from a clean Git clone.
 #
 # Package maintainers may set the variable below to issue a new release.
-set(MCRL2_MAJOR_VERSION "202206.0")
+set(MCRL2_MAJOR_VERSION "202206.1")
 string(SUBSTRING ${MCRL2_MAJOR_VERSION} 0 4 MCRL2_COPYRIGHT_YEAR)
 
 option(MCRL2_PACKAGE_RELEASE "Include release version information. This discards Git commit information and only uses the MCRL2_MAJOR_VERSION CMake variable." FALSE)

diff --git a/build/make_release/make_release b/build/make_release/make_release
@@ -31,7 +31,7 @@
 # every failed upload attempt the version number needs to be updated.
 
 MCRL2_RELEASE_BRANCH="release-202206"
-MCRL2_VERSION="202206.0"
+MCRL2_VERSION="202206.1"
 UBUNTU_VERSION="1ubuntu1ppa1"
 DEBEMAIL="m.laveaux@tue.nl"
 DEBFULLNAME="Maurice Laveaux"