From 00768521f92a34a82acd1e67c7456f838a992c76 Mon Sep 17 00:00:00 2001
From: David Scott <dave@recoil.org>
Date: Thu, 14 Jun 2018 11:32:28 +0100
Subject: [PATCH] Update CHANGES for 0.12.1

Signed-off-by: David Scott <dave@recoil.org>
---
 CHANGES.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index bb061b8..5286460 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,8 @@
+## v0.12.1 (2018-06-14)
+
+* Remove (broken) support for named pipes.
+* Remove unnecessary dependency on `cmdliner` in the core library.
+
 ## v0.12.0 (2017-11-05)
 
 * Remove unnecessary dependency on `ppx_deriving`