[MediaWiki-commits] [Gerrit] WikiGrok: pick https://gerrit.wikimedia.org/r/174847 - change (mediawiki/core)

MaxSem has submitted this change and it was merged. Change subject: WikiGrok: pick https://gerrit.wikimedia.org/r/174847 .. WikiGrok: pick https://gerrit.wikimedia.org/r/174847 Change-Id: I65a058b2fc07ed89870d192993a7f3cb83c4c7

[MediaWiki-commits] [Gerrit] WikiGrok: pick https://gerrit.wikimedia.org/r/174847 - change (mediawiki/core)

MaxSem has submitted this change and it was merged. Change subject: WikiGrok: pick https://gerrit.wikimedia.org/r/174847 .. WikiGrok: pick https://gerrit.wikimedia.org/r/174847 Change-Id: I780669f0371c8e42ed39c18f6db6107ed67b1d

[MediaWiki-commits] [Gerrit] WikiGrok: pick https://gerrit.wikimedia.org/r/174847 - change (mediawiki/core)

MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/174855 Change subject: WikiGrok: pick https://gerrit.wikimedia.org/r/174847 .. WikiGrok: pick https://gerrit.wikimedia.org/r/174847 Change-Id: I78066

[MediaWiki-commits] [Gerrit] WikiGrok: pick https://gerrit.wikimedia.org/r/174847 - change (mediawiki/core)

MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/174854 Change subject: WikiGrok: pick https://gerrit.wikimedia.org/r/174847 .. WikiGrok: pick https://gerrit.wikimedia.org/r/174847 Change-Id: I65a05