Update changelog

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
janestreet · Aug 24, 2021 · 8cd12f1 · 8cd12f1
1 parent 82f66be
commit 8cd12f1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+v0.12.4
+-------
+
+- Make the build more reproducible (@jeremiedimino, fix #6)
+
 v0.12.3
 -------