From 046a13f99621b0a655edff71a3692efb3d78941e Mon Sep 17 00:00:00 2001
From: Sebastiaan van Stijn <github@gone.nl>
Date: Wed, 4 Dec 2019 13:00:37 +0100
Subject: [PATCH] Maintainers file: remove "docs maintainers" section

The "docs maintainers" role was never defined; removing
the section from the file to make the file less confusing.

We can add people with specific expertise to the general
"maintainers" section instead.

Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
---
 MAINTAINERS | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/MAINTAINERS b/MAINTAINERS
index c0b6450925..71102979b5 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -36,14 +36,6 @@
 			"vieux",
 		]
 
-	[Org."Docs maintainers"]
-
-	# TODO Describe the docs maintainers role.
-
-		people = [
-			"thajeztah"
-		]
-
 	[Org.Curators]
 
 	# The curators help ensure that incoming issues and pull requests are properly triaged and