Skip to content

Conversation

@mgred
Copy link
Contributor

@mgred mgred commented Sep 30, 2023

Add opening <html> tag. This fixes the highlighting.

@gnat
Copy link
Owner

gnat commented Sep 30, 2023

Nice catch, thank you!

@gnat gnat merged commit 4f37e50 into gnat:main Sep 30, 2023
@mgred mgred deleted the fix-missing-tag branch September 30, 2023 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants