Merge "Remove duplicate file extensions from output messages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 27 Sep 2013 17:56:24 +0000 (17:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 27 Sep 2013 17:56:24 +0000 (17:56 +0000)
commit05ad83001f6396f39ec555e3d05a5e33542ff3de
treedeb035c536afa5809f93bcd72bad49ff38a67c55
parent6d0a4f463e49db7fab930f38cd9bb5a8c5c8deb4
parent3cfc7d5df1f1013a7083c8225fae716660a06ad6
Merge "Remove duplicate file extensions from output messages"