Fix formatting of titles#238
Merged
dennisdoomen merged 2 commits intodennisdoomen:master from bkoelman:fix-title-formattingFeb 5, 2022
+3-3
Commits
Commits on Feb 5, 2022
- authored andBart KoelmancommittedBart Koelman
- authored andBart KoelmancommittedBart Koelman