Merge pull request #1001 from NilsIrl/patch-1

[typo] Fix missing "is" in manual.wiki
ocsigen · Sep 25, 2023 · 3d640dc · 3d640dc
2 parents 7f8c3f0 + 73f2565
commit 3d640dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/manual.wiki b/docs/manual.wiki
@@ -615,7 +615,7 @@ val s' : int Lwt_stream.t = <abstr>
 
   {{{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.