From 051643f23d5aaa909cebbcae66b1b7e5a4ea91e9 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sun, 11 Nov 2018 22:19:59 +0100
Subject: [PATCH] release 1.2.0

---
 CHANGES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index c067202..b39b10a 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,4 +1,4 @@
-### master
+### v1.2.0 (2018-11-11)
 
 * Move Stdlibrandom to a separate package, mirage-random-stdlib
 * Port to dune