Merge pull request #795 from INCATools/matentzn-patch-1

matentzn · web-flow · commit 714616da11f1 · 2023-02-16T21:31:12.000+02:00
Add ROBOT 1.9.3
diff --git a/docker/odklite/Dockerfile b/docker/odklite/Dockerfile
@@ -1,7 +1,7 @@
 FROM ubuntu:22.04
 LABEL maintainer="obo-tools@googlegroups.com"
 
-ENV ROBOT_VERSION=1.9.2
+ENV ROBOT_VERSION=1.9.3
 ENV DOSDP_VERSION=0.19.3
 ENV OWLTOOLS_VERSION=2020-04-06
 ENV AMMONITE_VERSION=2.0.3
