[MediaWiki-commits] [Gerrit] search/MjoLniR[master]: Rename MjoLniR -> mjolnir

2017-06-15 Thread DCausse (Code Review)
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

2017-06-12 Thread EBernhardson (Code Review)
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