diff --git a/metrics/mypy_high_water_mark b/metrics/mypy_high_water_mark index 72669a2a4..d182afd09 100644 --- a/metrics/mypy_high_water_mark +++ b/metrics/mypy_high_water_mark @@ -1 +1 @@ -92.2800 +89.7400