From d008ff499a2b92960d31b4d8fc81d450416f4705 Mon Sep 17 00:00:00 2001 From: Guillaume Petiot Date: Tue, 15 Oct 2019 11:31:36 +0700 Subject: [PATCH] changelog --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index 943b4eace7..d23fc0892b 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,6 @@ ### (master) + + Build: use short form for action in src/dune (#1076) (Etienne Millon) + Improve: set conventional as the default profile (#1060) (Guillaume Petiot) + Fix precedence of Dot wrt Hash (#1058) (Guillaume Petiot) + Fix break in variant type definition to not exceed the margin (#1064) (Guillaume Petiot)