From 575b5c892f637618f7cda267065a87538a733295 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 30 Jan 2023 13:13:27 +0100 Subject: [PATCH] changes for 4.3.3 --- CHANGES.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 116a3a490..548aff6b0 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,16 @@ +### v4.3.3 (2023-01-30) + +#### Fixed + +- add (merlin) to the dune-workspace file -- this allows merlin to properly work + with unikernels (#1385, fixes #1384 @TheLortex @hannesm) +- add "build" stanzas to packages that are supposed to be vendored (#1383, + @Leonidas-from-XIV) for "opam-monorepo 0.3.5" compatibility + +#### Changed + +- raise upper bound for git to 3.12 (#1387 @dinosaure) + ### v4.3.2 (2022-12-12) #### Fixed