From 7bdd17d05f9e8eb846333ed01b2f981a850f948e Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 13 Dec 2024 15:58:52 +0100 Subject: [PATCH] Add a CHANGES entry --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index ef84607d..c35e7dd3 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,6 +2,8 @@ ## Next release +- #491: Require `qcheck.0.23`, simplify show functions by utilizing it, and update + expect outputs accordingly - #486: Add `Util.Pp.pp_fun_` printer for generated `QCheck.fun_` functions ## 0.4