From 73f25656acc5214e30c340abb798cfa62ee92800 Mon Sep 17 00:00:00 2001 From: Nils Date: Sat, 23 Sep 2023 20:20:02 +0200 Subject: [PATCH] [typo] Fix missing "is" in manual.wiki --- docs/manual.wiki | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/manual.wiki b/docs/manual.wiki index c78e59f3c..fff3a43e7 100644 --- a/docs/manual.wiki +++ b/docs/manual.wiki @@ -615,7 +615,7 @@ val s' : int Lwt_stream.t = {{{libev}}} is used by default on Linux, because it supports any number of file descriptors, while {{{select}}} supports only 1024. {{{libev}}} - also much more efficient. On Windows, {{{Unix.select}}} is used because + is also much more efficient. On Windows, {{{Unix.select}}} is used because {{{libev}}} does not work properly. The user may change the backend in use at any time.