From 535a024008c76c2840c0b413c5e1ea5769e15cc1 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sat, 26 Aug 2023 18:51:09 +0200
Subject: [PATCH] vagrant: use pyinstaller 5.13.1

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 022b12810..1a58cd1a1 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -286,7 +286,7 @@ def install_pyinstaller()
     . ~/.bash_profile
     cd /vagrant/borg
     . borg-env/bin/activate
-    pip install 'pyinstaller==5.6.2'
+    pip install 'pyinstaller==5.13.1'
   EOF
 end