From 7db7aca97faa050cf504cb00328341dd105b685f Mon Sep 17 00:00:00 2001
From: Luca Casonato <lucacasonato@yahoo.com>
Date: Thu, 6 Jun 2024 13:02:04 +0200
Subject: [PATCH] Editorial: remove outdated HTML PR link

---
 fetch.bs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/fetch.bs b/fetch.bs
index 625f5bd71..18ff28f7c 100644
--- a/fetch.bs
+++ b/fetch.bs
@@ -1113,8 +1113,7 @@ a <a>byte-case-insensitive</a> match for one of
  request object is copied, but will be removed if the request is modified by unprivileged APIs.
 
  <p>`<code>Range</code>` headers are commonly used by <a lt="download the hyperlink">downloads</a>
- and <a lt="resource fetch algorithm">media fetches</a>, although neither of these currently specify
- how. <a href=https://github.com/whatwg/html/pull/2814>html/2914</a> aims to solve this.
+ and <a lt="resource fetch algorithm">media fetches</a>.
 
  <p>A helper is provided to <a for=request>add a range header</a> to a particular request.
 </div>