summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2024-07-13 16:43:35 +0200
committerChristian Grothoff <christian@grothoff.org>2024-07-13 16:43:35 +0200
commit9d78bfa2413fcdb1b42ae4bbaee26e91edd47ac2 (patch)
tree8d713519618165bd3be26a822d54757e961fd99d
parent40a38387b33e098d6139ae1a6f613b7df6984314 (diff)
downloadlsd0004-9d78bfa2413fcdb1b42ae4bbaee26e91edd47ac2.tar.gz
lsd0004-9d78bfa2413fcdb1b42ae4bbaee26e91edd47ac2.zip
fix build
-rw-r--r--draft-schanzen-r5n.xml8
1 files changed, 4 insertions, 4 deletions
diff --git a/draft-schanzen-r5n.xml b/draft-schanzen-r5n.xml
index 418b2fb..0c05921 100644
--- a/draft-schanzen-r5n.xml
+++ b/draft-schanzen-r5n.xml
@@ -2601,18 +2601,18 @@ BEGIN
2601 <dd> 2601 <dd>
2602 <tt>Block</tt> is a valid result, but considered to be 2602 <tt>Block</tt> is a valid result, but considered to be
2603 a duplicate (was filtered by the <tt>RF</tt>) and 2603 a duplicate (was filtered by the <tt>RF</tt>) and
2604 <bcp17>SHOULD NOT</bcp17> be returned to the previous 2604 <bcp14>SHOULD NOT</bcp14> be returned to the previous
2605 hop. Peers that do not understand the block type 2605 hop. Peers that do not understand the block type
2606 <bcp17>MAY</bcp17> return such duplicate results 2606 <bcp14>MAY</bcp14> return such duplicate results
2607 anyway. 2607 anyway.
2608 </dd> 2608 </dd>
2609 <dt>FILTER_IRRELEVANT</dt> 2609 <dt>FILTER_IRRELEVANT</dt>
2610 <dd> 2610 <dd>
2611 <tt>Block</tt> does not satisfy the constraints 2611 <tt>Block</tt> does not satisfy the constraints
2612 imposed by the <tt>XQuery</tt>. The result 2612 imposed by the <tt>XQuery</tt>. The result
2613 <bcp17>SHOULD NOT</bcp17> be returned to the previous 2613 <bcp14>SHOULD NOT</bcp14> be returned to the previous
2614 hop. Peers that do not understand the block type 2614 hop. Peers that do not understand the block type
2615 <bcp17>MAY</bcp17> return such irrelevant results 2615 <bcp14>MAY</bcp14> return such irrelevant results
2616 anyway. 2616 anyway.
2617 </dd> 2617 </dd>
2618 </dl> 2618 </dl>