From 474d58efe82228cafd02f025274eb411bbe0596a Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Thu, 11 Jul 2019 19:33:58 +0200
Subject: normalize miscapitalized github usernames

---
 teams/mods-discord.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'teams/mods-discord.toml')

diff --git a/teams/mods-discord.toml b/teams/mods-discord.toml
index 185d574..333c03d 100644
--- a/teams/mods-discord.toml
+++ b/teams/mods-discord.toml
@@ -6,7 +6,7 @@ leads = []
 members = [
     "komaeda",
     "Centril",
-    "Khionu",
+    "khionu",
     "sgrif",
     "technetos",
     "pietroalbini",
-- 
cgit v1.2.3