Merge pull request #83 from ch1ru/main
authorElias Rohrer <dev@tnull.de>
Mon, 31 Oct 2022 15:30:27 +0000 (16:30 +0100)
committerGitHub <noreply@github.com>
Mon, 31 Oct 2022 15:30:27 +0000 (16:30 +0100)
Semantically sort subheadings


Trivial merge