---
Pushed to wwwdocs because the old URL gives a 404 error.

 htdocs/robots.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htdocs/robots.txt b/htdocs/robots.txt
index 01ae43dd..526fa1dd 100644
--- a/htdocs/robots.txt
+++ b/htdocs/robots.txt
@@ -1,4 +1,4 @@
-# See http://www.robotstxt.org/wc/robots.html
+# See https://www.robotstxt.org/robotstxt.html
 # for information about the file format.
 # Contact g...@gcc.gnu.org for questions.
 
-- 
2.49.0

Reply via email to