From 10175ab0ada0025ced47c2993fbd48c8d9e6ef4b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" Date: Tue, 28 Aug 2018 11:19:09 +0000 Subject: [PATCH] build(deps): bump jgrapht-core from 1.1.0 to 1.2.0 Bumps [jgrapht-core](https://github.com/jgrapht/jgrapht) from 1.1.0 to 1.2.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.2.0) Signed-off-by: dependabot[bot] --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 722c3eaf8..c34e30eec 100644 --- a/pom.xml +++ b/pom.xml @@ -49,7 +49,7 @@ 1.17.0 3.21.0-GA 2.9.3 - 1.1.0 + 1.2.0 3.1.3 1.23 2.13.0