From 17514a4e454eca38a06d69bbf0ab233f68d82129 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 10 Oct 2023 12:41:48 +0200 Subject: [PATCH] Add a CHANGES entry --- CHANGES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGES.md b/CHANGES.md index 114917214..2523bc9b1 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,6 +2,7 @@ ## Next +- #400: Catch and delay exceptions in `STM`'s `next_state` for a nicer UX - #387: Reduce needless allocations in `Lin`'s sequential consistency search, as part of an `Out_channel` test cleanup - #379: Extend the set of `Util.Pp` pretty-printers and teach them to