From ae394bc5f1113a0baf6483193d70975dff0911e1 Mon Sep 17 00:00:00 2001
From: Tobias Diekershoff <tobias.diekershoff@gmx.net>
Date: Tue, 1 Oct 2019 10:19:39 +0200
Subject: [PATCH] switched from Ubuntu 16.04 to Debian 10 to get PHP 7.3

---
 Vagrantfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index e5f30b307f..f9ffe0c75e 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -6,8 +6,8 @@ server_timezone = "UTC"
 public_folder = "/vagrant"
 
 Vagrant.configure(2) do |config|
-  # Set server to Ubuntu 16.04
-  config.vm.box = "ubuntu/xenial64"
+  # Set server to Debian 10 / Buster 64bit
+  config.vm.box = "debian/buster64"
 
   # Disable automatic box update checking. If you disable this, then
   # boxes will only be checked for updates when the user runs