Skip to content

Conversation

@davidmorgan
Copy link
Collaborator

Needed for json_serializable element2 migration.

@coveralls
Copy link

Coverage Status

coverage: 61.818%. remained the same
when pulling 8adebf1 on davidmorgan:allow-source-gen-3
into 7e2e028 on google:main.

@davidmorgan
Copy link
Collaborator Author

@kevmoo could you please merge+release?

@kevmoo kevmoo merged commit 9c13b5d into google:main Jul 8, 2025
6 checks passed
@kevmoo
Copy link
Collaborator

kevmoo commented Jul 8, 2025

published!

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.

3 participants