From 6d441f0db41d2c611487215c2d9e3dbbb15e6214 Mon Sep 17 00:00:00 2001 From: Francois Berenger Date: Wed, 13 Sep 2023 10:42:23 +0900 Subject: [PATCH] updated ChangeLog --- ChangeLog | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 8c36c05e5..5c26b4735 100644 --- a/ChangeLog +++ b/ChangeLog @@ -3,7 +3,11 @@ Changelog ## NEXT_RELEASE -## v3.7.0 (minor release) +## v3.7.1 (minor release) + +- fix CI tests (dune clean && dune build @src/runtest) + #1121 + (Simo Saan) - fix documentation errors for BatSet, BatMap and BatSplay #1120