From 2dad87d892279daef3f3e86a536e71c05dcf2b31 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Wed, 17 Nov 2021 10:25:36 +0100 Subject: [PATCH] Mention pick/choose fix in CHANGES --- CHANGES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES b/CHANGES index f57e5ca13..6d6810c06 100644 --- a/CHANGES +++ b/CHANGES @@ -8,6 +8,8 @@ * Fix win32_spawn leaking dev_null fd in the parent process. (#906, Antonin Décimo) * Prefer SetHandleInformation to DuplicateHandle in set_close_on_exec for sockets. DuplicateHandle mustn't be used on sockets. (#907, Antonin Décimo) + * Lwt.pick and Lwt.choose select preferentially failed promises as per + documentation (#856, #874, Raman Varabets) ===== 5.5.0 =====