[lsd0001] branch master updated: notation addresses

[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 6b4211b  notation addresses
6b4211b is described below

commit 6b4211bbc50e50e83126b12e3041ff750bbc93f0
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Sun Jan 16 21:06:47 2022 +0100

    notation addresses
---
 draft-schanzen-gns.xml | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/draft-schanzen-gns.xml b/draft-schanzen-gns.xml
index 987082e..9cb95e1 100644
--- a/draft-schanzen-gns.xml
+++ b/draft-schanzen-gns.xml
@@ -1207,10 +1207,15 @@ NONCE := HKDF-Expand (PRK_n, label, 32 / 8)
          </dd>
          <dt>DNS SERVER NAME</dt>
          <dd>
-           The DNS server to use. May be an IPv4/IPv6 address in dotted decimal
-           form or a DNS name. It may also be a relative GNS name ending with a
-           "+" top-level domain. The value is UTF-8 encoded
-           and 0-terminated.
+           The DNS server to use. May be an IPv4 address in dotted-decimal
+           form or an IPv6 address in colon-hexadecimal form or a DNS name.
+           It may also be a relative GNS name ending with a
+           "+" top-level domain.
+           The implementation MUST check the string syntactically for a
+           an IP address in the respective notation before checking for a
+           relative GNS name.
+           If all three checks fail, the name MUST be treated as a DNS name.
+           The value is UTF-8 encoded and 0-terminated.
          </dd>
        </dl>
      </section>

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