Merge "mediawiki.special.search.css: Fix chmod"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 May 2016 15:57:06 +0000 (15:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 May 2016 15:57:06 +0000 (15:57 +0000)
commit41cde3e3fa5451897d9e471906fd04e98f6a605d
treea5dff96b2628b6e980748ac7557d1d42db09c5e2
parent8cfda881f256719955ed85cc3adb286bc47c466a
parentdf5d532959ed5c0036d0dac86e6eea1eb68884f7
Merge "mediawiki.special.search.css: Fix chmod"