From 27aff2299e53f40d4bf75bd988670ffab0acdca3 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 6 Jun 2018 17:54:55 +0100 Subject: [PATCH] Prepare v1.0.11 --- CHANGES.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 662dbd44..2ac7e3c8 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,5 @@ -next ----- +v1.0.11 2018-06-06 London +------------------------- - Fix handling of `--impl/--intf`. Before the driver would crash if the file extension was neither `.ml` nor `.mli`