Update CHANGES for 0.12.1

Signed-off-by: David Scott <[email protected]>
mirage · Jun 14, 2018 · 0076852 · 0076852
1 parent e68ddbc
commit 0076852
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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`