Merge "Expose server name in rc feed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 9 May 2014 13:03:57 +0000 (13:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 9 May 2014 13:03:57 +0000 (13:03 +0000)
commit0acddf0b416da9fb0ed5b11da743789dfa3e5526
tree247a690151da30dd137f1387e94b662d752d50e7
parent87d5c821d466d4532f2d39fb2fed820f74ce3d6c
parent5c74ac9feb107b6a2ac86685e4ccc9ca8572c1c0
Merge "Expose server name in rc feed"