Skip to content

Conversation

@rtfeldman
Copy link
Contributor

@rtfeldman rtfeldman commented Aug 3, 2025

This makes the sort order of unused variables stable, which makes things jump around less when you fix one of them, plus it means that changes like #8153 will have a much smaller diff and be easier to review.

@rtfeldman rtfeldman merged commit 7a80337 into main Aug 3, 2025
24 checks passed
@rtfeldman rtfeldman deleted the sort-problems branch August 3, 2025 22:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants