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.