Skip to content

Fix notes in the HTML#3650

Open
JiaeK wants to merge 1 commit intorealworldocaml:masterfrom
JiaeK:html-notes
Open

Fix notes in the HTML#3650
JiaeK wants to merge 1 commit intorealworldocaml:masterfrom
JiaeK:html-notes

Conversation

@JiaeK
Copy link

@JiaeK JiaeK commented Oct 31, 2022

Hi, first of all, thanks for the amazing book and congrats on the 2 edition release!

This PR attempts to fix #3544. Hope the issue is still relevant and I understood the problem alright.

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.

Notes are not always properly shown in the HTML

1 participant