Skip to content

prelude: don't set Lwt_engine to poll if libev is available#52

Merged
rr0gi merged 2 commits intomasterfrom
lwt-engine-prelude
Nov 24, 2025
Merged

prelude: don't set Lwt_engine to poll if libev is available#52
rr0gi merged 2 commits intomasterfrom
lwt-engine-prelude

Commits

Commits on Nov 11, 2025

Commits on Nov 14, 2025