2018-01-02 13:51:35 +01:00 · 2018-01-02 13:51:35 +01:00 · a5d0569a20
commit a5d0569a20
parent ca3d6dd51a
1 changed files with 2 additions and 2 deletions
--- 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",