From 94fa22ba921ba444d894edec76552586bb2c8183 Mon Sep 17 00:00:00 2001 From: lukaseder Date: Thu, 11 Oct 2018 11:19:13 +0200 Subject: [PATCH] [#7922] Upgrade org.checkerframework:checker dependency in jOOQ-checker --- jOOQ-checker/pom.xml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/jOOQ-checker/pom.xml b/jOOQ-checker/pom.xml index 10122b11e6..65def1ffb4 100644 --- a/jOOQ-checker/pom.xml +++ b/jOOQ-checker/pom.xml @@ -53,7 +53,15 @@ org.checkerframework checker - 2.5.2 + 2.5.6 + + + + + + + + \ No newline at end of file