Use version 0.7.1.

agarny · agarny · commit 1b7e1fa6fbd3 · 2023-02-07T18:37:41.000+13:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,7 +1,7 @@
 FROM ubuntu:20.04
 
 ARG archive
-ARG version=0.7
+ARG version=0.7.1
 
 ENV HOMEDIR /home/opencor
 ENV OPENCORDIR $HOMEDIR/OpenCOR
