daniel added a comment.
Possibly related: T127226: mediawiki-extensions-hhvm jobs intermittently fail with "File not found: Filter.php" <https://phabricator.wikimedia.org/T127226> TASK DETAIL https://phabricator.wikimedia.org/T130327 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: daniel Cc: Bene, daniel, aude, hoo, Addshore, adrianheine, JanZerebecki, Aklapper, D3r1ck01, Izno, Wikidata-bugs, Mbch331 _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
