From 4fcfe345798dc423867a827f979e08865eb1a917 Mon Sep 17 00:00:00 2001 From: PizieDust Date: Mon, 23 Dec 2024 16:41:35 +0100 Subject: [PATCH] add changelog --- CHANGELOG.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index efddd8a3b..e1fde4da7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,8 @@ # Unreleased +- Construct: display a message when construct list is empty. (#1695) + ## 1.26.0 - Add `ocaml.navigate-typed-holes` to navigate between typed holes. (#1666)