File 1310-Delete-extra-word-in-io_protocol.xml.patch of Package erlang
From e48799db3bc5f793733f6e89ea19431505bfe2c6 Mon Sep 17 00:00:00 2001
From: "B. Burt" <beeburrt@outlook.com>
Date: Wed, 26 Jul 2023 19:29:01 -0700
Subject: [PATCH] Delete extra word in io_protocol.xml
---
lib/stdlib/doc/src/io_protocol.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/stdlib/doc/src/io_protocol.xml b/lib/stdlib/doc/src/io_protocol.xml
index e47ace0228..1a7be2fdc5 100644
--- a/lib/stdlib/doc/src/io_protocol.xml
+++ b/lib/stdlib/doc/src/io_protocol.xml
@@ -87,7 +87,7 @@
<p><c>ReplyAs</c> can be any datum and is returned in the
corresponding <c>io_reply</c>. The
<seeerl marker="stdlib:io"><c>io</c></seeerl> module monitors the
- the I/O server and uses the monitor reference as the <c>ReplyAs</c>
+ I/O server and uses the monitor reference as the <c>ReplyAs</c>
datum. A more complicated client can have many outstanding I/O
requests to the same I/O server and can use different references (or
something else) to differentiate among the incoming I/O replies.
--
2.35.3