[lsd0001] branch master updated: no need to refer to 7.3.1 twice

[gnunet]

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

grothoff pushed a commit to branch master
in repository lsd0001.

The following commit(s) were added to refs/heads/master by this push:
     new f882275  no need to refer to 7.3.1 twice
f882275 is described below

commit f882275e71d0f8c80c8b58b2bdf692a7ac33cca8
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Wed Feb 2 16:48:59 2022 +0100

    no need to refer to 7.3.1 twice
---
 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 c275624..32f47c4 100644
--- a/draft-schanzen-gns.xml
+++ b/draft-schanzen-gns.xml
@@ -1960,7 +1960,7 @@ example.com = zk2
          <li>
            Case 4:
            If the current record set
-           consist of a single delegation record (<xref 
target="delegation_processing" />),
+           consist of a single delegation record,
            resolution of the remainder of the name is delegated to
            the target zone as described in <xref 
target="delegation_processing" />.
          </li>

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