From 0b382154c8c642d35b899d655d7a331df03c8b30 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 26 May 2021 21:41:54 +0200
Subject: [PATCH] Bump checker-qual from 3.12.0 to 3.13.0 (#2330)

Bumps [checker-qual](https://github.com/typetools/checker-framework) from 3.12.0 to 3.13.0.
- [Release notes](https://github.com/typetools/checker-framework/releases)
- [Changelog](https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md)
- [Commits](https://github.com/typetools/checker-framework/compare/checker-framework-3.12.0...checker-framework-3.13.0)

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

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

diff --git a/pom.xml b/pom.xml
index 9036807c..d2afe847 100644
--- a/pom.xml
+++ b/pom.xml
@@ -947,7 +947,7 @@
         <dependency>
             <groupId>org.checkerframework</groupId>
             <artifactId>checker-qual</artifactId>
-            <version>3.12.0</version>
+            <version>3.13.0</version>
             <scope>test</scope>
         </dependency>