Meta: export "network partition key"

noamr · Jun 7, 2023 · 094ea69 · 094ea69
1 parent 5eaaf66
commit 094ea69
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/fetch.bs b/fetch.bs
@@ -3036,8 +3036,8 @@ details of reused connections are not exposed and time values are coarsened.
 
 <h3 id=network-partition-keys>Network partition keys</h3>
 
-<p>A <dfn>network partition key</dfn> is a tuple consisting of a <a for=/>site</a> and null or
-an <a>implementation-defined</a> value.
+<p>A <dfn export>network partition key</dfn> is a tuple consisting of a <a for=/>site</a> and null
+or an <a>implementation-defined</a> value.
 
 <div algorithm>
 <p>To <dfn export>determine the network partition key</dfn>, given an