Skip to content

Return schema to manifest#2212

Merged
ppfeister merged 1 commit into
masterfrom
2207-specify-schema
Jul 8, 2024
Merged

Return schema to manifest#2212
ppfeister merged 1 commit into
masterfrom
2207-specify-schema

Conversation

@ppfeister

Copy link
Copy Markdown
Member

Closes #2207

@ppfeister ppfeister added the staged - do not merge PR is staged for coordinated release label Jul 1, 2024
@ppfeister ppfeister merged commit c5b25fa into master Jul 8, 2024
@ppfeister ppfeister deleted the 2207-specify-schema branch July 8, 2024 23:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

staged - do not merge PR is staged for coordinated release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Return schema specification to manifest

1 participant