From 662146a908ca7c8aaf6c68359c3867ca40b986b2 Mon Sep 17 00:00:00 2001
From: Daniel Smith <56164590+DanielRyanSmith@users.noreply.github.com>
Date: Thu, 28 Apr 2022 22:14:02 -0700
Subject: [PATCH] mypy ignore

---
 tools/wpt/update_chromium_revision.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/wpt/update_chromium_revision.py b/tools/wpt/update_chromium_revision.py
index ec5230c5c16075c..c27435214aabc53 100755
--- a/tools/wpt/update_chromium_revision.py
+++ b/tools/wpt/update_chromium_revision.py
@@ -85,4 +85,4 @@ def main(timeout=600.0):
 
 
 if __name__ == "__main__":
-    main()
+    main()  # type: ignore