From 1c6dcae6203601b4daefbe785bd1e4a4f8e844ba Mon Sep 17 00:00:00 2001 From: David Chemouil Date: Thu, 11 Jun 2020 18:38:15 +0200 Subject: [PATCH] release 0.6.2 --- CHANGES.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 4105800..f535f4c 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,6 @@ +### 0.6.2 (2020-06-11) +- inhibit warning 63 in release mode, see + ### 0.6.1 (2020-06-11) - F. Pottier's fix to work with Menhir 20200525