Skip to content

Conversation

@zeroshade
Copy link
Contributor

Instead of #31

@zeroshade zeroshade added the enhancement New feature or request label Nov 11, 2019
@zeroshade zeroshade self-assigned this Nov 11, 2019
@zeroshade zeroshade merged commit 910212e into master Nov 11, 2019
@zeroshade zeroshade mentioned this pull request Nov 11, 2019
@zeroshade zeroshade deleted the json-schema branch November 11, 2019 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants