[lsd0004] branch master updated: may be

[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 1ca92cf  may be
1ca92cf is described below

commit 1ca92cf30534152e67a8e36f048fe7c30d8e183d
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sat Mar 12 08:58:29 2022 +0100

    may be
---
 draft-schanzen-r5n.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/draft-schanzen-r5n.xml b/draft-schanzen-r5n.xml
index 8c00c48..edf46dc 100644
--- a/draft-schanzen-r5n.xml
+++ b/draft-schanzen-r5n.xml
@@ -768,7 +768,7 @@ bchar = *(ALPHA / DIGIT)
         <tt>bf</tt> and set to 1.
       </t>
       <t>
-        When testing if an element is in the bloom filter <tt>bf</tt> using
+        When testing if an element may be in the bloom filter <tt>bf</tt> using
         <tt>BF-TEST(bf,e)</tt>, each bit offset <tt>n mod L</tt> within
         <tt>bf</tt> <bcp14>MUST</bcp14> have been set to 1.
         Otherwise, the element is not considered to be in the bloom filter.

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