Update AUTHORS.
commit9348682e939758a35d11534e6a723b799cbada53
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Mon, 20 Feb 2017 23:32:19 +0000 (20 23:32 +0000)
committerMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Mon, 20 Feb 2017 23:33:05 +0000 (20 23:33 +0000)
treeef8750f2ba8bdca7ab2dbcba99b98c5def9238bd
parent8b24300e7c7889cf79e445ad3c7bf2eb4193de14
Update AUTHORS.

[ci skip]

(cherry picked from commit 19c278feb732f5797256ff28eb671440f5511c6c)
.mailmap
AUTHORS