File 0536-remove-redundant-use-of-messages.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0536-remove-redundant-use-of-messages.patch of Package erlang (Revision 1fc7c4a65d33ed71e140bb0aefb4cd4d)

Currently displaying revision 1fc7c4a65d33ed71e140bb0aefb4cd4d , Show latest

From 54c06118fa54afa79786b7e7cc65f5b73b0c5d8d Mon Sep 17 00:00:00 2001
From: Bryan Paxton <bryan@starbelly.io>
Date: Tue, 13 Sep 2022 17:16:10 -0500
Subject: [PATCH 6/8] remove redundant use of "messages"

---
 system/doc/design_principles/statem.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml
index 60288d2e3d..22582ccd28 100644
--- a/system/doc/design_principles/statem.xml
+++ b/system/doc/design_principles/statem.xml
@@ -1918,7 +1918,7 @@ do_unlock() ->
       Using such a receive may result in system messages
       being discarded which in turn may lead to unexpected behaviour.
       If a selective receive must be used then great care should be taken to
-      ensure messages only messages pertinent to the operation are caught.
+      ensure only messages pertinent to the operation are caught.
       Likewise, long running operations may result in timeouts and the
       deferment of system messages, which in turn can lead to undesirable behaviour;
       thus a reasonable timeout for any blocking operation should be used.
-- 
2.35.3

Places

File 0536-remove-redundant-use-of-messages.patch of Package erlang (Revision 1fc7c4a65d33ed71e140bb0aefb4cd4d)

Places