Skip to content

Conversation

@pmeier
Copy link
Member

@pmeier pmeier commented Nov 8, 2023

before:

image

after:

image

Thanks @jaimergp for the report!

@pmeier pmeier added the area: documentation 📖 Improvements or additions to documentation label Nov 8, 2023
@pmeier
Copy link
Member Author

pmeier commented Nov 8, 2023

@pmeier pmeier merged commit 5364763 into main Nov 8, 2023
@pmeier pmeier deleted the note-101 branch November 8, 2023 22:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: documentation 📖 Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants