File 0800-Delete-extra-word-in-io_protocol.xml.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0800-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

Places

File 0800-Delete-extra-word-in-io_protocol.xml.patch of Package erlang

Places