This repository has been archived by the owner on Jan 6, 2025. It is now read-only.

rename `JsonSchema7Top` to `JsonSchema7Root` #634

Closed

gcanti opened this issue Dec 6, 2023 · 0 comments

Contributor

gcanti commented Dec 6, 2023

No description provided.

gcanti added a commit that referenced this issue


          JSONSchema: rename JsonSchema7Top to JsonSchema7Root, closes #634

0f11e8b

gcanti closed this as completed in

30802d5

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.