From 7ef941880c162a895316564ed2a91dd45aa8fcbe Mon Sep 17 00:00:00 2001
From: Christian Elberfeld <elberfeld@web.de>
Date: Fri, 20 Jul 2018 22:38:37 +0200
Subject: [PATCH] use stretch for worker machine

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

diff --git a/Vagrantfile b/Vagrantfile
index 1a46ed63..aac84633 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -2,7 +2,7 @@
 Vagrant.configure(2) do |config|
 
   # Debian Jessie + VirtualBox Addons 
-  config.vm.box = "debian/contrib-jessie64"
+  config.vm.box = "debian/contrib-stretch64"
 
   # Hostname
   config.vm.hostname = "box"
-- 
GitLab