Out of curiosity, was it ever used again after that initial action?
On Tue, Aug 11, 2015 at 6:13 PM Laurentius laurentius.wiki@gmail.com wrote:
Il giorno mer, 12/08/2015 alle 01.11 +0900, Hong, Yongmin ha scritto:
It has been a year (and a day) since the gerrit 153302 [1] has been merged and deployed to the dewiki.
And it's high time it got removed.
Laurentius
Wikimedia-l mailing list, guidelines at: https://meta.wikimedia.org/wiki/Mailing_lists/Guidelines Wikimedia-l@lists.wikimedia.org https://meta.wikimedia.org/wiki/Mailing_lists/GuidelinesWikimedia-l@lists.wikimedia.org Unsubscribe: https://lists.wikimedia.org/mailman/listinfo/wikimedia-l, mailto:wikimedia-l-request@lists.wikimedia.org?subject=unsubscribe