Re: [Tails-dev] [review'n'merge] #7166: bugfix/7166-vagrant-…

Kill Your TV wrote (10 May 2014 17:19:40 GMT) :
> In any case, the diff looks sane and the results were good.
> I'd merge.

Thanks, merged. Triggered a Jenkins build to check that the changes to
vagrant/provision/assets/build-tails don't break it.

Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc