From 5f39f619c461d1980e37d2c43bb19f10de15ff82 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 10 Feb 2023 11:17:06 +0000
Subject: [PATCH] Bump io.vertx:vertx-web from 3.4.2 to 4.3.8

Bumps io.vertx:vertx-web from 3.4.2 to 4.3.8.

---
updated-dependencies:
- dependency-name: io.vertx:vertx-web
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 frontends/http/build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/http/build.gradle b/frontends/http/build.gradle
index b85ad41..9b1cab0 100644
--- a/frontends/http/build.gradle
+++ b/frontends/http/build.gradle
@@ -1,6 +1,6 @@
 buildscript {
     ext {
-        version_vertx = '3.4.2'
+        version_vertx = '4.3.8'
     }
     dependencies {
         classpath "org.jetbrains.kotlin:kotlin-gradle-plugin:$kotlin_version"