diff --git a/metrics/mypy_high_water_mark b/metrics/mypy_high_water_mark index d182afd09..c4c82ddc2 100644 --- a/metrics/mypy_high_water_mark +++ b/metrics/mypy_high_water_mark @@ -1 +1 @@ -89.7400 +89.7000