jenkins-infra/jenkins-infra — pull request #49 by rtyler (2014-09-25 01:00:12+00:00)
Title: Simple DNS change

Nothing else we've gt to merge today