From 4cddc5fba8315d1d52e30e2af409571dbac73757 Mon Sep 17 00:00:00 2001 From: Daniel Gerhardt <code@dgerhardt.net> Date: Sat, 4 Aug 2018 22:32:45 +0200 Subject: [PATCH] Bump Maven dependencies --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index cc765fcbf..4bab62666 100644 --- a/pom.xml +++ b/pom.xml @@ -317,7 +317,7 @@ <dependency> <groupId>org.checkerframework</groupId> <artifactId>checker-qual</artifactId> - <version>2.5.3</version> + <version>2.5.4</version> </dependency> </dependencies> -- GitLab