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%C2%A0implies so. I've added a comment in that task.
Thanks!
andre