Out of curiosity, was it ever used again after that initial action?
On Tue, Aug 11, 2015 at 6:13 PM Laurentius <laurentius.wiki(a)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(a)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>