From 35739c157897040d3537d9dc2400032a551f322e Mon Sep 17 00:00:00 2001
From: Ian Bell <ian.h.bell@gmail.com>
Date: Sat, 13 Oct 2018 21:51:01 +0200
Subject: [PATCH] Bump default ubuntu distro in builds to 18.04

---
 vagrant/README.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vagrant/README.rst b/vagrant/README.rst
index 016e2ea7..516cc921 100644
--- a/vagrant/README.rst
+++ b/vagrant/README.rst
@@ -50,9 +50,9 @@ release or the snapshots server can be used. With that file in place then a
 build for a specific distro can be done with just a few vagrant commands, for
 example::
 
-    cd vagrant/ubuntu-16.04
+    cd vagrant/ubuntu-18.04
     vagrant up
-    vagrant ssh -c "scripts/build.sh ubuntu-16.04"
+    vagrant ssh -c "scripts/build.sh ubuntu-18.04"
     vagrant halt
 
 Please note that currently this will do up to 8 complete builds, one for each