doc: add Thomas to the credits
commit9e4b483ad3a7dceabcaf53b32803d3665046c7e1
authorDavid Aguilar <davvid@gmail.com>
Fri, 19 Oct 2018 05:39:56 +0000 (18 22:39 -0700)
committerDavid Aguilar <davvid@gmail.com>
Fri, 19 Oct 2018 05:39:56 +0000 (18 22:39 -0700)
tree169f09892af6a88ed194a807bb535e69d4a1f8ee
parent51c583c01fc294df3270173bf5d492e74f989471
doc: add Thomas to the credits

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