diff --git a/CHANGELOG.md b/CHANGELOG.md
index c4926e1..4a7005c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## unreleased
 
+## 0.1.2 - 2024-07-20
+
 ### Added
 
  - Function productivity analysis for preventing unneeded specializations ([issue #2](https://github.com/mazeppa-dev/mazeppa/issues/2)).
@@ -13,7 +15,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Changed
 
- - Simplify horizontal configuration analysis by only checking for renamings (previously, we tried to detect arbitrary safe instances).
+ - Simplify horizontal configuration analysis by only checking for renamings instead of matching arbitrary safe instances.
  - Do not emit 1) linear let-bindings for redexes, 2) unused let-bindings for immediate terms.
 
 ## 0.1.1 - 2024-07-15
diff --git a/bin/main.ml b/bin/main.ml
index c30ff57..21b7215 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -4,7 +4,7 @@ open Ppx_yojson_conv_lib.Yojson_conv.Primitives
 
 let github_repo = "https://github.com/mazeppa-dev/mazeppa"
 
-let version = "0.1.1"
+let version = "0.1.2"
 
 let tab = "    "
 
diff --git a/dune-project b/dune-project
index 5be4b99..9b95f5f 100644
--- a/dune-project
+++ b/dune-project
@@ -4,7 +4,7 @@
 
 (name mazeppa)
 
-(version 0.1.1)
+(version 0.1.2)
 
 (generate_opam_files true)
 
diff --git a/mazeppa.opam b/mazeppa.opam
index a1b933f..1357cde 100644
--- a/mazeppa.opam
+++ b/mazeppa.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.1"
+version: "0.1.2"
 synopsis: "A modern supercompiler for call-by-value functional languages"
 maintainer: ["Tima Kinsart"]
 authors: ["Tima Kinsart"]