[doc] changelog for 2.2.3

danielgrahl · danielgrahl · commit 22a0aa71d9da · 2014-10-06T10:08:20.000+02:00
diff --git a/doc/CHANGELOG b/doc/CHANGELOG
@@ -1,6 +1,10 @@
 ChangeLog
 =========
 
+Revision 2.2.3:
+===============
+ * Fix concurrency issue introduced in 2.2.2
+
 Revision 2.2.2:
 ===============
  * Support for CVC3 version 2.4.1 SMT backend
