From e574f14a971704e5c1fd71b9c80270e1147f5d2d Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 15 Aug 2023 17:59:37 +0100 Subject: [PATCH] update changes --- Changes | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Changes b/Changes index cdd2b60..da62d43 100644 --- a/Changes +++ b/Changes @@ -1,3 +1,7 @@ +2.7 (To come) + +o Added opam file in-source + 2.6 (July 2023) New features: