From ebbeeec241bd4c18cb38b21b5707a80c2de68c6f Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Tue, 3 Jul 2018 21:09:08 +0200
Subject: [PATCH] vagrant: use pyinstaller v3.3.1

the fix that i made in v3.3-fixed is also in official release v3.3.1.
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 055094720..bf63c9be9 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -143,7 +143,7 @@ def install_pyinstaller()
     . borg-env/bin/activate
     git clone https://github.com/thomaswaldmann/pyinstaller.git
     cd pyinstaller
-    git checkout v3.3-fixed
+    git checkout v3.3.1
     python setup.py install
   EOF
 end