diff --git a/changelog.md b/changelog.md
index 32a93d9a0..9904b23af 100644
--- a/changelog.md
+++ b/changelog.md
@@ -1,5 +1,23 @@
 # Change log
 
+## 0.9.12
+New:
+* examples/ use notebooks with graphic visualisation whenever possible
+* examples/ add pareto optimal enumeration
+* new global: AllDifferentExcept0, with tests
+
+Changed:
+* minizinc: status time in seconds
+* reify_rewrite: very special case, if (non-total) element elemnt-wise decomp returns false,
+* flatten: avoid unnecessary sum decompositions
+* SolverLookup: would select the last one if an invalid was given
+* solveAll() return warning if an objective function is present
+* comparing a boolean expression with an intvar crashed most solvers (#208)
+* z3: bugfixes in translation
+* globals: give xor a logic-based decomposition
+* tests: multiple improvements, run with all solvers
+
+
 ## 0.9.11
 FuzzTest bugfix release
 
diff --git a/cpmpy/__init__.py b/cpmpy/__init__.py
index d4780fd9c..40a970385 100644
--- a/cpmpy/__init__.py
+++ b/cpmpy/__init__.py
@@ -14,7 +14,7 @@
 """
 # Tias Guns, 2019-2022
 
-__version__ = "0.9.11"
+__version__ = "0.9.12"
 
 
 from .expressions import *