On Thu, 2016-10-13 at 18:17 +1000, K. Peachey wrote: > On 12 October 2016 at 23:29, Andre Klapper wrote: > > > > https://gerrit.wikimedia.org/r/#/c/211034/ > > Move up devunt's name to Developers > > /CREDITS > > I think we have combined both those lists into one and just have > CREDITs now sorted alphabetically.
Indeed; https://phabricator.wikimedia.org/T139300#2711463 implies so. I've added a comment in that task. Thanks! andre -- Andre Klapper | Wikimedia Bugwrangler http://blogs.gnome.org/aklapper/ _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
