Skip to content

Conversation

@rdeltour
Copy link
Member

@rdeltour rdeltour commented Sep 1, 2025

No description provided.

@rdeltour rdeltour self-assigned this Sep 1, 2025
@rdeltour rdeltour added the status: ready to merge The pull request is ready to be merged label Sep 1, 2025
@rdeltour rdeltour added this to the v5.3.0 milestone Sep 1, 2025
Base automatically changed from feat/xhtml-schemas-update to main September 1, 2025 15:02
@rdeltour rdeltour merged commit 4979051 into main Sep 1, 2025
6 checks passed
@rdeltour rdeltour deleted the chore/bump-guava branch September 1, 2025 15:02
@rdeltour rdeltour mentioned this pull request Sep 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status: ready to merge The pull request is ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant