sajolida@??? wrote (15 May 2014 19:35:37 GMT) :
> Built, and tested. The background in GDM *is* blue, so I merged it.
Thanks!
Please consider pushing to lizard too when doing merges,
as documented on
https://tails.boum.org/contribute/merge_policy/review/:
If you merged into a branch that is built by our Jenkins, also push
it to the Git repository on lizard
(gitolite@???:tails).
This helps ensure that anyone who tests the nightly builds actually
runs our latest stuff.
For this time, I've just done it :)
Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc
