Skip to content

Use unicode characters rather than markdown emojis

GitHub Advanced Security / CodeQL succeeded Oct 21, 2024 in 10s

No new alerts in code changed by this pull request