From 6ffe3ed1edd1e3248504930908e7cb3a1f6aeb4a Mon Sep 17 00:00:00 2001 From: Julien ANNE Date: Thu, 21 May 2020 03:10:53 +0200 Subject: [PATCH] Update Vagrantfile to Ubuntu 20.04 --- Vagrantfile | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/Vagrantfile b/Vagrantfile index f3b6b9671..235acbee5 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -1,8 +1,8 @@ $script = <