Skip to content

Comments

fix: one more schema ending issue#119

Merged
henryiii merged 1 commit intomainfrom
henryiii/fix/schema
Nov 28, 2023
Merged

fix: one more schema ending issue#119
henryiii merged 1 commit intomainfrom
henryiii/fix/schema

Conversation

@henryiii
Copy link
Member

Fix for old name still present.

Signed-off-by: Henry Schreiner <[email protected]>
@henryiii henryiii merged commit f63566c into main Nov 28, 2023
@henryiii henryiii deleted the henryiii/fix/schema branch November 28, 2023 14:56
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