From 93614e7de7dfa190238c8443cdc3ca4de12d4eda Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 13 Sep 2021 11:06:09 +0200
Subject: [PATCH] Updates for release 1.2

---
 Changes | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Changes b/Changes
index ca62966..c110ae4 100644
--- a/Changes
+++ b/Changes
@@ -1,3 +1,7 @@
+Release 1.2, 2021-09-13
+- #3: unbox the argument of the mix30 C stub
+- Install .cmti and .mli files for documentation
+
 Release 1.1, 2020-11-06
 - Fixed wrong buffering in function Chacha.State.bytes
 - Reduced number of Chacha rounds from 20 to 8, to improve performance