From e61057bfecb100615068286cab542e8838b23759 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 12 Feb 2020 17:05:39 +0000
Subject: [PATCH] Bump vertx.version from 3.4.2 to 3.8.5

Bumps `vertx.version` from 3.4.2 to 3.8.5.

Updates `vertx-core` from 3.4.2 to 3.8.5
- [Release notes](https://github.com/eclipse/vert.x/releases)
- [Commits](https://github.com/eclipse/vert.x/compare/3.4.2...3.8.5)

Updates `vertx-web` from 3.4.2 to 3.8.5

Updates `vertx-web-client` from 3.4.2 to 3.8.5

Updates `vertx-service-discovery` from 3.4.2 to 3.8.5

Updates `vertx-service-discovery-backend-redis` from 3.4.2 to 3.8.5

Updates `vertx-circuit-breaker` from 3.4.2 to 3.8.5

Updates `vertx-health-check` from 3.4.2 to 3.8.5

Signed-off-by: dependabot[bot] <support@github.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 1f3eb0c..6d1d343 100644
--- a/pom.xml
+++ b/pom.xml
@@ -9,7 +9,7 @@
   <version>1.0-SNAPSHOT</version>
 
   <properties>
-    <vertx.version>3.4.2</vertx.version>
+    <vertx.version>3.8.5</vertx.version>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <main.verticle>org.typeunsafe.BaseStar</main.verticle>
   </properties>