From a7f1912adbc299fbc96942505a9e23070fbd70eb Mon Sep 17 00:00:00 2001 From: King Josaphat Chewa Date: Mon, 18 Mar 2019 10:53:16 +0100 Subject: [PATCH] Add "Debian" as a popular distro (#32817) --- guide/english/linux/index.md | 1 + 1 file changed, 1 insertion(+) diff --git a/guide/english/linux/index.md b/guide/english/linux/index.md index fc37db7f45..f0015e491b 100644 --- a/guide/english/linux/index.md +++ b/guide/english/linux/index.md @@ -36,6 +36,7 @@ Other popular distributions of Linux include: * Ubuntu * Linux Mint +* Debian * CentOS * RHEL * Arch Linux