[MediaWiki-commits] [Gerrit] search/MjoLniR[master]: Rename MjoLniR -> mjolnir
DCausse has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/358491 ) Change subject: Rename MjoLniR -> mjolnir .. Rename MjoLniR -> mjolnir Pytest decided to start having some random new errors about
[MediaWiki-commits] [Gerrit] search/MjoLniR[master]: Rename MjoLniR -> mjolnir
EBernhardson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/358491 ) Change subject: Rename MjoLniR -> mjolnir .. Rename MjoLniR -> mjolnir Pytest decided to start having some random new errors about