From dd53486bd091e79be685d881338c6243a3cb1f69 Mon Sep 17 00:00:00 2001
From: Unai Martinez-Corral <38422348+umarcor@users.noreply.github.com>
Date: Wed, 29 Mar 2023 04:04:19 +0200
Subject: [PATCH] [tutorials/export/exporting_for_web]
 s/platform:html5/platform:web/

---
 tutorials/export/exporting_for_web.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tutorials/export/exporting_for_web.rst b/tutorials/export/exporting_for_web.rst
index 35ffa99f7..eb65035f8 100644
--- a/tutorials/export/exporting_for_web.rst
+++ b/tutorials/export/exporting_for_web.rst
@@ -96,7 +96,7 @@ of limitations you should be aware of when porting a Godot game to the web.
                usually exempt from such requirement).
 
 .. tip:: Check the `list of open HTML5 issues on GitHub
-         <https://github.com/godotengine/godot/issues?q=is:open+is:issue+label:platform:html5>`__
+         <https://github.com/godotengine/godot/issues?q=is:open+is:issue+label:platform:web>`__
          to see if the functionality you're interested in has an issue yet. If
          not, open one to communicate your interest.