Revert removal of incomplete todo

harahu · harahu · commit fc4ed29fe20d · 2023-01-17T12:47:17.000+01:00
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
 
