Closed adamtheturtle closed 1 month ago
None of these issues allow us yet to remove particular overrides, but these changes, I hope, are small enough that they make sense to merge, as progress towards the larger goal of removing overrides.
ping on green for merge
Ping, and thank you @AA-Turner I should have watched CI.
None of these issues allow us yet to remove particular overrides, but these changes, I hope, are small enough that they make sense to merge, as progress towards the larger goal of removing overrides.