Closed mattwthompson closed 6 months ago
These changes are not from sed, which would have captured too much. I grepped for from typing.*Type and ^ Type and manually edited matching files.
sed
from typing.*Type
^ Type
Merging #1794 (443d68f) into main (501e869) will increase coverage by 0.01%. The diff coverage is 100.00%.
0.01%
100.00%
1790
These changes are not from
sed
, which would have captured too much. I grepped forfrom typing.*Type
and^ Type
and manually edited matching files.