From 4280485b4290dddc41e6d8cf7d870f0888a07bb0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 17 Jun 2026 00:48:26 +0000
Subject: [PATCH] build(deps): upgrade `vertx` to 5.1.2

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index b07c0096..1c9e2937 100644
--- a/build.gradle
+++ b/build.gradle
@@ -73,7 +73,7 @@ repositories {
 
 dependencies {
     // Framework dependencies
-    def vertx_version = '5.0.7'
+    def vertx_version = '5.1.2'
     implementation group: 'io.vertx', name: 'vertx-core', version: vertx_version
     implementation group: 'io.vertx', name: 'vertx-launcher-legacy-cli', version: vertx_version
     implementation group: 'io.vertx', name: 'vertx-web', version: vertx_version