Re: [Tails-dev] Heads up: upgrade your Vagrant build setup

anonym:
> The Vagrant basebox has been updated, and apparently Vagrant won't
> switch to it automatically. To completely delete the old builder VM and
> basebox, please run these commands from Tails' Git root:

FWIW I've personally kept the old one around, since branches based on
stable are supposed to be built with it (I think). So I just did:

  rm -rf vagrant/.vagrant/                                                  

… in my checkout of the devel branch.