update some usernames
authorAmin Bandali <mab@gnu.org>
Sun, 14 Oct 2018 14:32:11 +0000 (10:32 -0400)
committerAmin Bandali <mab@gnu.org>
Sun, 14 Oct 2018 14:32:11 +0000 (10:32 -0400)

No differences found