From 08df59188dbb66d1d75f64f82816e586e792fff7 Mon Sep 17 00:00:00 2001
From: dgibbs64 <dgibbs64@users.noreply.github.com>
Date: Fri, 12 May 2023 00:00:46 +0000
Subject: [PATCH] GitHub Actions build: 2023-05-12

---
 arch.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch.txt b/arch.txt
index af1ad0f..2a30cbf 100644
--- a/arch.txt
+++ b/arch.txt
@@ -67,6 +67,7 @@ archlinux.uk.mirror.allworldit.com
 archlinux.za.mirror.allworldit.com
 archlinux.zepto.cloud
 archmirror.hbit.sztaki.hu
+archmirror.hogwarts.fr
 archmirror.xyz
 archmirror1.octyl.net
 arlm.tyzoid.com