hi,

to make future release management easier, I've just converted the
tails-greeter Git repo to something closer to our main repository,
that is a stable branch and a devel one.

The master branch shall be ignored, or someone could find a way to
delete 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
[email protected]
https://mailman.boum.org/listinfo/tails-dev

Reply via email to