# HG changeset patch
# User Augie Fackler <augie@google.com>
# Date 1573156751 18000
# Node ID 7fd16ddabaa04ab9d566f1d0d65aae9c5b6362a6
# Parent  e468ebfcb4ceb0dbb90a04061ddfd618ce179c1a
vagrant: update vagrant image to buster from jessie

I honestly have no idea if this works since I don't use vagrant, but
looking around online suggests it should work fine.

Differential Revision: https://phab.mercurial-scm.org/D7309

diff -r e468ebfcb4ce -r 7fd16ddabaa0 contrib/vagrant/Vagrantfile
--- a/contrib/vagrant/Vagrantfile	Thu Nov 07 14:56:30 2019 -0500
+++ b/contrib/vagrant/Vagrantfile	Thu Nov 07 14:59:11 2019 -0500
@@ -1,8 +1,8 @@
 # -*- mode: ruby -*-
 
 Vagrant.configure('2') do |config|
-  # Debian 8.1 x86_64 without configuration management software
-  config.vm.box = "debian/jessie64"
+  # Debian 10.1 x86_64 without configuration management software
+  config.vm.box = "debian/buster64"
   config.vm.hostname = "tests"
 
   config.vm.define "tests" do |conf|