[release-22.06] Release version 22.06.1.

aibasel · Sep 15, 2022 · 4aa863f · 4aa863f
1 parent 2c91650
commit 4aa863f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/driver/version.py b/driver/version.py
@@ -1,4 +1,4 @@
 # This file is auto-generated by the scripts in misc/release.
 # Do not modify it.
 
-__version__ = "22.06"
+__version__ = "22.06.1"
diff --git a/misc/releases/22.06/Dockerfile.22.06 b/misc/releases/22.06/Dockerfile.22.06
@@ -55,7 +55,7 @@ RUN wget http://www.coin-or.org/download/source/Osi/$OSI_VERSION.tgz && \
 
 # Install Fast Downward.
 WORKDIR /workspace/downward/
-RUN git clone --depth 1 --branch release-22.06.0 https://github.com/aibasel/downward.git . && \
+RUN git clone --depth 1 --branch release-22.06.1 https://github.com/aibasel/downward.git . && \
     ./build.py release debug && \
     strip --strip-all builds/release/bin/downward
 

diff --git a/misc/releases/22.06/Vagrantfile.22.06 b/misc/releases/22.06/Vagrantfile.22.06
@@ -110,7 +110,7 @@ Vagrant.configure("2") do |config|
     cd /home/vagrant
 
     if ! [ -e downward ] ; then
-        git clone --branch release-22.06.0 https://github.com/aibasel/downward.git downward
+        git clone --branch release-22.06.1 https://github.com/aibasel/downward.git downward
         ./downward/build.py release debug
         chown -R vagrant.vagrant downward
     fi