sajol...@pimienta.org 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
  (gitol...@git.puppet.tails.boum.org: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
_______________________________________________
Tails-dev mailing list
Tails-dev@boum.org
https://mailman.boum.org/listinfo/tails-dev
To unsubscribe from this list, send an empty email to 
tails-dev-unsubscr...@boum.org.

Reply via email to