Skip to content

Update problem details name#8

Merged
dstegelman merged 1 commit intomainfrom
change-pb-schema
Apr 1, 2026
Merged

Update problem details name#8
dstegelman merged 1 commit intomainfrom
change-pb-schema

Conversation

@dstegelman
Copy link
Copy Markdown
Member

No description provided.

@dstegelman dstegelman self-assigned this Apr 1, 2026
@dstegelman dstegelman merged commit 7390d83 into main Apr 1, 2026
1 check passed
@dstegelman dstegelman deleted the change-pb-schema branch April 1, 2026 21:10
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