doc: add Arthur to the credits
commit6e5cef91425cb07a2b9571057122f7d8e6e6d421
authorDavid Aguilar <davvid@gmail.com>
Thu, 24 Jan 2019 04:56:19 +0000 (23 20:56 -0800)
committerDavid Aguilar <davvid@gmail.com>
Thu, 24 Jan 2019 04:56:59 +0000 (23 20:56 -0800)
tree48cca9924fcf078e7b8b603d3231db290ae47ab5
parent75bc6302a4182cfebfc1139e58e79e5ab9ed3799
doc: add Arthur to the credits

Signed-off-by: David Aguilar <davvid@gmail.com>
share/doc/git-cola/thanks.rst