From ccfacfcf91f7b09c245b37ba976ac2953c459b33 Mon Sep 17 00:00:00 2001
From: Auke Kok <sofar@foo-projects.org>
Date: Thu, 20 May 2021 14:40:04 -0700
Subject: [PATCH] Update IRC url.

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 9e75b48..f12d1ae 100644
--- a/index.html
+++ b/index.html
@@ -39,7 +39,7 @@
 	<p>Check out the <a href="/videos.html">Videos</a>
 	we've made to help you through the tutorial levels!</p>
 	<p>You can also <i>ask for a hint</i>. Since the server is connected to an IRC
-	server (<i>#insidethebox</i> on <i>irc.freenode.net</i>), there are always people
+	server (<i>#insidethebox</i> on <i>irc.libera.chat</i>), there are always people
 	online that will be able to help you!</p>
 
 	<script src="bot.js"></script>