gerritbot added a comment. Change 242852 merged by jenkins-bot: Remove executable bits from files
https://gerrit.wikimedia.org/r/242852 TASK DETAIL https://phabricator.wikimedia.org/T113751 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: aude, gerritbot Cc: gerritbot, aude, Aklapper, wpmirrordev, JanZerebecki, Wikidata-bugs, 01tonythomas _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs