Skip to content

Lwt_result.catch takes a function as parameter now#965

Merged
raphael-proust merged 2 commits intomasterfrom fix-lwt-result-catch-interfaceOct 27, 2022

Commits

Commits on Oct 27, 2022