Update src/ci/docker/x86_64-gnu-tools/checkregression.py

mark-i-m · RalfJung · web-flow · commit 17c4084ebac2 · 2019-07-18T10:02:59.000-05:00
Co-Authored-By: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/ci/docker/x86_64-gnu-tools/checkregression.py b/src/ci/docker/x86_64-gnu-tools/checkregression.py
@@ -4,7 +4,7 @@
 import sys
 import json
 
-# Regressions for these tools does not cause failure
+# Regressions for these tools do not cause failure.
 REGRESSION_OK = ["rustc-guide", "miri"]
 
 if __name__ == '__main__':
