Commit 2024-03-08 22:04 1ad8c3fe
View on Github →chore: squeeze some non-terminal simps (#11247)
This PR accompanies #11246, squeezing some non-terminal simps highlighted by the linter until I decided to stop!
chore: squeeze some non-terminal simps (#11247)
This PR accompanies #11246, squeezing some non-terminal simps highlighted by the linter until I decided to stop!