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

Delete this message

Reply to this message
Author: intrigeri
Date:  
To: The Tails public development discussion list
Subject: Re: [Tails-dev] [review'n'merge] #7166: bugfix/7166-vagrant-memory-checks
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