Skip to content

Conversation

marukrap
Copy link
Contributor

@marukrap marukrap commented May 9, 2020

@ocornut
Copy link
Owner

ocornut commented May 11, 2020

Merged, thank you!

@ocornut ocornut closed this May 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants