Main email notice sent to [email protected] here: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/2014-May/000177.html>
Basically I've migrated DNS off our older, much more painful to manage,
infrastructure to our newer, better tested, better managed infra.
I've not noticed any problems as of yet, but if you spot DNS irregularities
please let me know.
Cheers
- R. Tyler Croy
------------------------------------------------------
Code: <https://github.com/rtyler>
Chatter: <https://twitter.com/agentdero>
% gpg --keyserver keys.gnupg.net --recv-key 3F51E16F
------------------------------------------------------
pgp0zMm_X0K4C.pgp
Description: PGP signature
