mozilla/mozmill-ci — pull request #533 by whimboo (2014-11-24 09:44:16+00:00)
Title: Rename CI production master to mm-ci-production (#530)

Tiny patch to fix the new DNS name for CI production master. @andreieftimie can you please have a quick look at? Thanks