From 121f34ff3f581dafc0876df43858cc45e7d7b70e Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Mon, 15 May 2023 10:31:33 +0200 Subject: [PATCH] Add changelog entry Signed-off-by: Etienne Millon --- CHANGES.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 4893e7487aa1..2d173f84b9f0 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -181,6 +181,9 @@ Unreleased that it works with Github Pages out of the box. (#7588, fixes #7364, @emillon) +- Add necessary parentheses in generated opam constraints (#7682, fixes #3431, + @Lucccyo) + 3.7.0 (2023-02-17) ------------------