[lsd0001] branch master updated: fix

[gnunet]

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

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

The following commit(s) were added to refs/heads/master by this push:
     new 583210b  fix
583210b is described below

commit 583210b8d288593a32da19271c1935271b3e108b
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Tue Feb 1 22:04:54 2022 +0100

    fix
---
 draft-schanzen-gns.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/draft-schanzen-gns.xml b/draft-schanzen-gns.xml
index d6e4f66..04db783 100644
--- a/draft-schanzen-gns.xml
+++ b/draft-schanzen-gns.xml
@@ -1722,7 +1722,7 @@ q := SHA-512 (ZKDF-Public(zk, label))
             FLAGS (improves alignment, hardly a good use for 32-bit
             flags or values);
             We MAY also consider removing RRCOUNT, just bad
-            for alignment, and --- strictly speaking --- redundant,
+            for alignment, and - strictly speaking - redundant,
             just causes another error check for implementations.  -->
        <figure anchor="figure_rdata">
          <artwork name="" type="" align="left" alt=""><![CDATA[

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