Skip to content

Lwt.pick and Lwt.choose pick preferentially failed promises#874

Merged
raphael-proust merged 3 commits intoocsigen:masterfrom raphael-proust:pick-should-preferentially-fail-as-per-documentationJan 21, 2022

Commits

Commits on Jan 3, 2022