From 0b36a4bc8073f3692c54cbfed2139588369b43d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Mon, 17 Jul 2023 17:13:17 +0200 Subject: [PATCH] Update CHANGES after rebase --- CHANGES | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/CHANGES b/CHANGES index 53f1de086..dbecace81 100644 --- a/CHANGES +++ b/CHANGES @@ -39,6 +39,10 @@ * Fix marshall header size in Lwt_io.read_value. (Simmo Saan, #995) +====== Misc ====== + + * Resolve paused promises only once in main loop. This lets Lwt.pause behave identical to Lwt_unix.yield. (#917, Christopher Zimmermann) + ===== 5.6.1 ===== @@ -89,10 +93,6 @@ * Alias Lwt_result.map_err and Lwt_result.bind_lwt_err to Lwt_result.map_error and Lwt_result.bind_lwt_error for consistency with Stdlib. (#927, Antonin Décimo) -====== Misc ====== - - * Resolve paused promises only once in main loop. This lets Lwt.pause behave identical to Lwt_unix.yield.(#917, Christopher Zimmermann) - ===== 5.5.0 ===== ====== Deprecations ======