Skip to content

Conversation

tocic
Copy link
Contributor

@tocic tocic commented Sep 6, 2022

No description provided.

@ocornut ocornut added the doc label Sep 6, 2022
@ocornut
Copy link
Owner

ocornut commented Sep 6, 2022

Wonderful, thank you very much!
I can merge right now, unless you expect to have more coming soon? (in which case I'll squash the commits)

@tocic
Copy link
Contributor Author

tocic commented Sep 6, 2022

I don't plan to add more commits to this PR, so feel free to merge it now.

@ocornut ocornut merged commit 9e7c0f9 into ocornut:master Sep 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants