commit 9500214557c1b2325d8c3865208758eb7033fd75
parent da2d4209e05831baedafe172b72d61e7c5835d0c
Author: Christian Grothoff <christian@grothoff.org>
Date: Fri, 30 Jun 2023 17:21:50 +0200
be consistent in referencing sections
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/draft-schanzen-gns.xml b/draft-schanzen-gns.xml
@@ -188,7 +188,7 @@
This type of label is used to refer to the authoritative zone that the record is in.
The primary use for the extension label is in redirections where the redirection
target is defined relative to the authoritative zone of the redirection
- record (<xref target="gnsrecords_redirect"/>).
+ record (see <xref target="gnsrecords_redirect"/>).
The extension label is represented using the character U+002B ("+"
without the quotes).
</dd>