Merge "Revert "Add executable rights for executable (bash) files""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Aug 2015 07:38:00 +0000 (07:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 7 Aug 2015 07:38:00 +0000 (07:38 +0000)
commit8c087b9fd13d9302ec1be2176ef1ae344b3f8273
tree159107a40e684ec24c10fddd80c505465066b3e6
parent4065e4d1ab7bb0e1065379d491e3ca050c30ac4d
parente930012075f42831b5a43dab17e9b708ddd63920
Merge "Revert "Add executable rights for executable (bash) files""