turned quote rule into enumeration + minor formatting improvements#7222
Merged
MichaelChirico merged 8 commits intomasterfrom Jul 28, 2025
Merged
turned quote rule into enumeration + minor formatting improvements#7222MichaelChirico merged 8 commits intomasterfrom
MichaelChirico merged 8 commits intomasterfrom
Commits
Commits on Jul 28, 2025
- committed
- committed
- committed
- authored
- andauthored
- committed
- committed
- committed
