Skip to content

change protoId for newly added genericSignature#1806

Merged
ml86 merged 1 commit intomasterfrom
michael/fix-proto-ids
Jan 14, 2025
Merged

change protoId for newly added genericSignature#1806
ml86 merged 1 commit intomasterfrom
michael/fix-proto-ids

Conversation

@mpollmeier
Copy link
Contributor

context: this clashed with a protoId from our internal schema extension :(

context: this clashed with a protoId from our internal schema extension :(
@mpollmeier mpollmeier requested a review from ml86 January 14, 2025 09:18
@ml86 ml86 merged commit 8029ba0 into master Jan 14, 2025
1 check passed
@max-leuthaeuser max-leuthaeuser deleted the michael/fix-proto-ids branch June 30, 2025 13:31
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.

2 participants