From f9cd894af2f385333a55e4133141caaf3302f237 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 27 Feb 2024 11:15:37 +0100
Subject: typo

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

diff --git a/index.html b/index.html
index 33f6e9a5..45f7f604 100644
--- a/index.html
+++ b/index.html
@@ -423,7 +423,7 @@
 						</li>
 						<li>
 							<a href="https://rpms.remirepo.net/RPM-GPG-KEY-remi" class="inpage">RPM-GPG-KEY-remi</a>:
-							the GnuPG public key of the key pair used to sign my packages (Fedora <= 25 and EL <= 7)
+							the GnuPG public key of the key pair used to sign my packages (Fedora ≤ 25 and EL ≤ 7)
 						</li>
 						<li>
 							<a href="https://git.remirepo.net/cgit/" class="inpage">https://git.remirepo.net/cgit/</a>
-- 
cgit