From 0fe36890e76105e9da9ecf794f7b121bbf7da644 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Thu, 20 Jun 2019 15:13:27 +0100
Subject: [PATCH] Update changelog

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index e4f09531..11a961d8 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -26,6 +26,10 @@ and Core\_kernel's
   option. Make both `bind_to_interface` and `get_bind_to_interface` use new type
   `Bound_interface_name.t` for its argument/return value.
 
+# v0.12.1
+
+- Fix linking of Core in bytecode executables
+
 ## v0.11
 
 - Fix a segfault in `Time`. (fixes #102)