From cd3964720e3d4b558023ac546135456a5492aff0 Mon Sep 17 00:00:00 2001
From: "dependabot-preview[bot]"
 <27856297+dependabot-preview[bot]@users.noreply.github.com>
Date: Fri, 9 Oct 2020 10:09:52 +0100
Subject: [PATCH] Bump vavr from 0.10.2 to 0.10.3 (#1476)

Bumps [vavr](https://github.com/vavr-io/vavr) from 0.10.2 to 0.10.3.
- [Release notes](https://github.com/vavr-io/vavr/releases)
- [Changelog](https://github.com/vavr-io/vavr/blob/master/RELEASE.md)
- [Commits](https://github.com/vavr-io/vavr/compare/v0.10.2...v0.10.3)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com>
---
 plugin/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugin/pom.xml b/plugin/pom.xml
index d19945aa..43e6c855 100644
--- a/plugin/pom.xml
+++ b/plugin/pom.xml
@@ -65,7 +65,7 @@
     <dependency>
       <groupId>io.vavr</groupId>
       <artifactId>vavr</artifactId>
-      <version>0.10.2</version>
+      <version>0.10.3</version>
     </dependency>
 
     <dependency>