From a5d0569a20a5def753e2c423e33b3980e4f44b8d Mon Sep 17 00:00:00 2001
From: Trevor Spiteri <tspiteri@ieee.org>
Date: Tue, 2 Jan 2018 13:51:35 +0100
Subject: [PATCH] Add "NaNs" and "GitLab" to `doc-valid-idents`

---
 clippy_lints/src/utils/conf.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/clippy_lints/src/utils/conf.rs b/clippy_lints/src/utils/conf.rs
index 31ed71695ce4..b13ceb8692a1 100644
--- a/clippy_lints/src/utils/conf.rs
+++ b/clippy_lints/src/utils/conf.rs
@@ -152,10 +152,10 @@ define_Conf! {
         "DirectX",
         "ECMAScript",
         "GPLv2", "GPLv3",
-        "GitHub",
+        "GitHub", "GitLab",
         "IPv4", "IPv6",
         "JavaScript",
-        "NaN",
+        "NaN", "NaNs",
         "OAuth",
         "OpenGL", "OpenSSH", "OpenSSL", "OpenStreetMap",
         "TrueType",