Add CHANGELOG for v2.0.1

goblint · Aug 22, 2022 · 705bc3a · 705bc3a
1 parent e655b16
commit 705bc3a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,6 @@
+## v2.0.1
+* Fix compilation with z3.
+
 ## v2.0.0
 Goblint "lean" release after a lot of cleanup.