From 3705283235af14a1e28e3e506bab20b9ce0b80d9 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <support@dependabot.com>
Date: Tue, 13 Nov 2018 11:13:34 +0000
Subject: [PATCH] build(deps): bump jgrapht-core from 1.1.0 to 1.3.0

Bumps [jgrapht-core](https://github.com/jgrapht/jgrapht) from 1.1.0 to 1.3.0.
- [Release notes](https://github.com/jgrapht/jgrapht/releases)
- [Changelog](https://github.com/jgrapht/jgrapht/blob/master/HISTORY.md)
- [Commits](https://github.com/jgrapht/jgrapht/compare/jgrapht-1.1.0...jgrapht-1.3.0)

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

diff --git a/pom.xml b/pom.xml
index 8012940d2..6151bf87d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -49,7 +49,7 @@
     <version.system-rules>1.18.0</version.system-rules>
     <version.javassist>3.21.0-GA</version.javassist>
     <version.fast-classpath-scanner>2.9.3</version.fast-classpath-scanner>
-    <version.jgrapht>1.1.0</version.jgrapht>
+    <version.jgrapht>1.3.0</version.jgrapht>
     <version.shrinkwrap.resolver>3.1.3</version.shrinkwrap.resolver>
     <version.snakeyaml>1.23</version.snakeyaml>
     <version.mockito>2.23.0</version.mockito>