From 20d3435e1b99746be0763f0ca4318092ed72248c Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Thu, 16 May 2019 02:37:24 +0200
Subject: [PATCH] vagrant: use python 3.5.7 for build

---
 Vagrantfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 9cfc8e082..474ddf83a 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -229,7 +229,7 @@ def install_pythons(boxname)
     pyenv install 3.4.0  # tests
     pyenv install 3.5.0  # tests
     pyenv install 3.6.0  # tests
-    pyenv install 3.5.6  # binary build, use latest 3.5.x release
+    pyenv install 3.5.7  # binary build, use latest 3.5.x release
     pyenv rehash
   EOF
 end
@@ -247,8 +247,8 @@ def build_pyenv_venv(boxname)
     . ~/.bash_profile
     cd /vagrant/borg
     # use the latest 3.5 release
-    pyenv global 3.5.6
-    pyenv virtualenv 3.5.6 borg-env
+    pyenv global 3.5.7
+    pyenv virtualenv 3.5.7 borg-env
     ln -s ~/.pyenv/versions/borg-env .
   EOF
 end