Update formatting, headers, and redirects#19
Merged
glenn-jocher merged 1 commit intoJun 12, 2026
GitHub Advanced Security / CodeQL
succeeded
Jun 12, 2026 in 2s
No new alerts in code changed by this pull request
Loading