From aff447b4ddeaa32650efb12995afd2648b715bdc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mat=C4=9Bj=20Cepl?= <mcepl@cepl.eu>
Date: Mon, 4 Nov 2013 10:08:13 +0100
Subject: [PATCH] Fix name of RHEL

The company is called Red Hat, and its flagship product is Red Hat Enterprise Linux (commonly abbreviated as RHEL). There is no such thing as RedHat (and never was).
---
 doc/install/requirements.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/install/requirements.md b/doc/install/requirements.md
index 30a95646741..a9dd3481059 100644
--- a/doc/install/requirements.md
+++ b/doc/install/requirements.md
@@ -15,7 +15,7 @@ It should also work on (though they are not officially supported):
 - CentOS
 - Fedora
 - Gentoo
-- RedHat
+- RHEL
 
 ## Other Unix Systems
 
-- 
GitLab