From 65a2620dec5025c618149f621004212fd63c5a5c Mon Sep 17 00:00:00 2001
From: Vojtech Moravec <vojtech.moravec.st@vsb.cz>
Date: Mon, 17 Aug 2020 07:49:52 +0200
Subject: [PATCH] Set version of org.jetbrains.annotations in pom.xml instead
 of release.

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

diff --git a/pom.xml b/pom.xml
index 126f56a..d80db1d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -54,7 +54,7 @@
         <dependency>
             <groupId>org.jetbrains</groupId>
             <artifactId>annotations</artifactId>
-            <version>RELEASE</version>
+            <version>20.0.0</version>
             <scope>compile</scope>
         </dependency>
         <dependency>
-- 
GitLab