Repository navigation
chore(deps): bump io.vertx:vertx-core from 5.0.0 to 5.0.12 - #84
Closed
dependabot[bot] wants to merge 1 commit into
Closed
dependabot[bot] wants to merge 1 commit into
dependabot[bot] wants to merge 1 commit into
Commits
Commits on Jun 12, 2026