Revert removal of incomplete todo

python-trio · Jan 17, 2023 · fc4ed29 · fc4ed29
1 parent c082f63
commit fc4ed29
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/mypy.ini b/mypy.ini
@@ -1,4 +1,7 @@
 [mypy]
+# TODO: run mypy against several OS/version combos in CI
+# https://mypy.readthedocs.io/en/latest/command_line.html#platform-configuration
+
 # Be flexible about dependencies that don't have stubs yet (like pytest)
 ignore_missing_imports = True