From efe088f656a79af08d98d904e4c5550dc3edc403 Mon Sep 17 00:00:00 2001
From: Yutaka Hirano <yhirano@google.com>
Date: Mon, 28 May 2018 19:09:59 +0900
Subject: [PATCH] Editorial: move definition of "reload-navigation flag"

Fixes #732.
---
 fetch.bs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/fetch.bs b/fetch.bs
index 61b6ddc14..5598cb1d5 100644
--- a/fetch.bs
+++ b/fetch.bs
@@ -1144,6 +1144,12 @@ are generally populated from attributes and flags on the HTML element responsibl
 <a for=/>request</a>. They are used by various algorithms in <cite>Content Security Policy</cite> to
 determine whether requests or responses are to be blocked in a given context. [[!CSP]]
 
+<p>A <a for=/>request</a> has an associated
+<dfn export for=request id=concept-request-reload-navigation-flag>reload-navigation flag</dfn>.
+Unless stated otherwise, it is unset.
+
+<p class="note no-backref">This flag is for exclusive use by HTML's navigate algorithm. [[!HTML]]
+
 <hr>
 
 <p>A <a for=/>request</a> has an associated
@@ -1171,12 +1177,6 @@ Unless stated otherwise, it is "<code>basic</code>".
 <p>A <a for=/>request</a> has an associated <dfn export for=request id=done-flag>done flag</dfn>.
 Unless stated otherwise, it is unset.
 
-<p>A <a for=/>request</a> has an associated
-<dfn export for=request id=concept-request-reload-navigation-flag>reload-navigation flag</dfn>.
-Unless stated otherwise, it is unset.
-
-<p class="note no-backref">This flag is for exclusive use by HTML's navigate algorithm. [[!HTML]]
-
 <p class="note no-backref">A <a for=/>request</a>'s <a for=request>tainted origin flag</a>,
 <a for=request>url list</a>, <a for=request>current url</a>, <a for=request>redirect count</a>,
 <a for=request>response tainting</a>, and <a for=request>done flag</a> are used as bookkeeping