Skip to content

Conversation

@pieterbos
Copy link
Contributor

@pieterbos pieterbos commented Nov 24, 2022

Fixes suggested by Pablo in the other pull request - but now generated in all files.

Note: this does not yet include the API json schema files. I consider that to be a separate isue.

Status: work in progress, full list of proposed changes will be added here later

@pieterbos pieterbos changed the title Schema fixes nov 22 Schema fixes nov 2022 Nov 24, 2022
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.

1 participant