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.
implies so.
I've added a comment in that task.
Thanks!
andre
--
Andre Klapper | Wikimedia Bugwrangler