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