From 75f8391bb60aae696bb0f3edc4596bc9f388ef7f Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Thu, 14 Sep 2023 19:26:01 +0200
Subject: [PATCH] vagrant: upgrade to pyinstaller 5.13.2

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

diff --git a/Vagrantfile b/Vagrantfile
index ea49db64..8e8c1a15 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -288,7 +288,7 @@ def install_pyinstaller()
     . ~/.bash_profile
     cd /vagrant/borg
     . borg-env/bin/activate
-    pip install 'pyinstaller==5.13.1'
+    pip install 'pyinstaller==5.13.2'
   EOF
 end