From a67ba617d67d753b9507b3be3121bcf10370abe9 Mon Sep 17 00:00:00 2001
From: Joshua Pan <joshuapan8@gmail.com>
Date: Mon, 14 May 2018 14:00:08 -0400
Subject: [PATCH] minor: Fix typo in tools/lint.

---
 tools/lint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/lint b/tools/lint
index b909328191..a032c6cfd9 100755
--- a/tools/lint
+++ b/tools/lint
@@ -139,7 +139,7 @@ def run():
             if len(target_langs) != 0:
                 targets = [target for lang in target_langs for target in by_lang[lang]]
                 if len(targets) == 0:
-                    # If we this linter has a list of languages, and
+                    # If this linter has a list of languages, and
                     # no files in those languages are to be checked,
                     # then we can safely return success without
                     # invoking the external linter.