From 914aba03007ad819dd9eb4580532d89299d3d46f Mon Sep 17 00:00:00 2001
From: GentooCommits <gentoocommits@airmail.cc>
Date: Tue, 31 Aug 2021 13:16:30 +1000
Subject: [PATCH] Linux is a kernel

---
 articles/discord.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/articles/discord.html b/articles/discord.html
index b64c8a8..8795bb2 100644
--- a/articles/discord.html
+++ b/articles/discord.html
@@ -19,7 +19,7 @@
           <a href="../articles/discord_es.html">[Español]</a><br><br>
         </center>
         <p>
-          Discord is an instant messaging application for macOS, Windows, Linux,
+          Discord is an instant messaging application for macOS, Windows, GNU/Linux,
           Android, and iOS. Discord is used to communicate via voice chat and
           text chat, and has image-sharing and file-sharing capabilities.
         </p>
@@ -465,4 +465,4 @@
       </div>
     </div>
   </body>
-</html>
\ No newline at end of file
+</html>