From 7e36b7ec39dcb8d81c9a8bd58a41ada83245cd16 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sun, 9 May 2021 23:07:21 +0200
Subject: [PATCH] Update dependencies

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 61c280c..61a3a5d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -85,7 +85,7 @@
     <dependency>
       <groupId>org.jetbrains</groupId>
       <artifactId>annotations</artifactId>
-      <version>19.0.0</version>
+      <version>20.1.0</version>
     </dependency>
     <dependency>
       <groupId>it.unimi.dsi</groupId>