Closed FoamyGuy closed 6 months ago
It seems like these are unnecessary. I didn't notice it in some of the other recent updates so these ones already were merged with it.
This PR removes the ones currently merged.
Makes sense to me. If we switch to linting tools these all go away then too
It seems like these are unnecessary. I didn't notice it in some of the other recent updates so these ones already were merged with it.
This PR removes the ones currently merged.