From 319bbcaf0c0ff5e144959be0feec526c875a5433 Mon Sep 17 00:00:00 2001
From: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Date: Sun, 19 Mar 2023 15:32:55 +0100
Subject: [PATCH] Libreplanet2023: Update website link

The website now works, so we can give only the final address.

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 Libreplanet2023/Free_software_boot.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Libreplanet2023/Free_software_boot.tex b/Libreplanet2023/Free_software_boot.tex
index fc0ff2a..cf6d445 100644
--- a/Libreplanet2023/Free_software_boot.tex
+++ b/Libreplanet2023/Free_software_boot.tex
@@ -629,9 +629,7 @@
   \begin{itemize}
   \item Status:
   \begin{itemize}
-  \item Rationale explained at https://libreboot.at (or
-    https://libreboot.srht.site if the DNS settings didn't propagate
-    yet).
+  \item Rationale explained at https://libreboot.at
   \item Infrastructure: Mailing lists, bug reports, website, git
     repositories.
   \item Status: we accept patches but don't have a release yet.