Closed clecat closed 1 year ago
Lwt's latest update 5.7.0 deprecated the function Lwt_main.abandon_yielded_and_paused in favor of Lwt.abandon_paused (see this commit). This PR fixes that issue.
Lwt_main.abandon_yielded_and_paused
Lwt.abandon_paused
Lwt's latest update 5.7.0 deprecated the function
Lwt_main.abandon_yielded_and_paused
in favor ofLwt.abandon_paused
(see this commit). This PR fixes that issue.