[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Correct ironic typo in search preferences

2017-01-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/330325 ) Change subject: Correct ironic typo in search preferences .. Correct ironic typo in search preferences Turns out the word typo

[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Correct ironic typo in search preferences

2017-01-03 Thread Deskana (Code Review)
Deskana has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/330325 ) Change subject: Correct ironic typo in search preferences .. Correct ironic typo in search preferences Turns out the word typo was itself m