[lsd0004] branch master updated: minor

[gnunet]

This is an automated email from the git hooks/post-receive script.

martin-schanzenbach pushed a commit to branch master
in repository lsd0004.

The following commit(s) were added to refs/heads/master by this push:
     new 9c408ef  minor
9c408ef is described below

commit 9c408ef1532e82763c012e0d513096fdd9409264
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Wed Jan 12 21:56:40 2022 +0100

    minor
---
 draft-schanzen-r5n.xml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/draft-schanzen-r5n.xml b/draft-schanzen-r5n.xml
index 8acd9f1..53fb1a5 100644
--- a/draft-schanzen-r5n.xml
+++ b/draft-schanzen-r5n.xml
@@ -489,7 +489,7 @@ Connectivity | |Underlay|  |Underlay|
           peer <tt>P</tt>. FIXME what is this needed for?
         </dd>
         <dt>
-          <tt>RECEIVE(P, M)</tt>
+          <tt>M = RECEIVE(P)</tt>
         </dt>
         <dd>
           A function or event that allows the local node to receive a protocol
@@ -504,7 +504,7 @@ Connectivity | |Underlay|  |Underlay|
           If call to SEND fails, the message has not been sent.
         </dd>
         <dt>
-          <tt>ESTIMATE_NETWORK_SIZE() -> S</tt>
+          <tt>S = ESTIMATE_NETWORK_SIZE()</tt>
         </dt>
         <dd>
           A procedure that provides estimates on the network size
@@ -513,9 +513,9 @@ Connectivity | |Underlay|  |Underlay|
         </dd>
       </dl>
       <t>
-        In addition to the above procedures, which can only be actively
-        triggered by the implementation, the following callbacks or signals
-        drive updates of the routing table:
+        In addition to the above procedures, which are meant to be actively
+        executed by the implementation as part of the peer-to-peer protocol,
+        the following callbacks or signals drive updates of the routing table:
       </t>
       <dl>
         <dt>

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.