Skip to content

build(deps): bump io.vertx:vertx-core from 5.0.12 to 5.1.1#338

Merged
jponge merged 1 commit into
mainfrom
dependabot/maven/io.vertx-vertx-core-5.1.1
Jun 2, 2026
Merged

build(deps): bump io.vertx:vertx-core from 5.0.12 to 5.1.1#338
jponge merged 1 commit into
mainfrom
dependabot/maven/io.vertx-vertx-core-5.1.1

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Jun 2, 2026

Copy link
Copy Markdown
Contributor

Bumps io.vertx:vertx-core from 5.0.12 to 5.1.1.

Commits
  • bf79b36 Releasing 5.1.1
  • 20f6f0a Support proxy authorization header.
  • 41e5701 MetricsProvider#getMetrics() should return null on cleaned objects.
  • f560053 Lazy create the singleton vertx cleaner instance.
  • a1a1034 TcpClientConfig should allow disabling connect timeout.
  • 7efb24e Ensure the list of enabled cipher suite is preserved: port the test from 4.x
  • 46d0e5e The documentation has a duplicate anchor logging_network_activity, this shoul...
  • de60f30 Set next snapshot version
  • 0112a83 Releasing 5.1.0
  • 6d1bc73 Move isNullOrZero to EpollTransport
  • Additional commits viewable in compare view

@dependabot dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update Java code labels Jun 2, 2026
@jponge

jponge commented Jun 2, 2026

Copy link
Copy Markdown
Member

@dependabot rebase

Bumps [io.vertx:vertx-core](https://github.com/eclipse/vert.x) from 5.0.12 to 5.1.1.
- [Commits](eclipse-vertx/vert.x@5.0.12...5.1.1)

---
updated-dependencies:
- dependency-name: io.vertx:vertx-core
  dependency-version: 5.1.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot force-pushed the dependabot/maven/io.vertx-vertx-core-5.1.1 branch from a808580 to f011b91 Compare June 2, 2026 14:18
@jponge jponge merged commit 981b675 into main Jun 2, 2026
3 checks passed
@jponge jponge deleted the dependabot/maven/io.vertx-vertx-core-5.1.1 branch June 2, 2026 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file java Pull requests that update Java code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant