doc: add Erop to the credits
commit7ac3ae17e961ca74e38d06f144315cca7e6f0f3b
authorDavid Aguilar <davvid@gmail.com>
Fri, 31 Aug 2018 08:14:56 +0000 (31 01:14 -0700)
committerDavid Aguilar <davvid@gmail.com>
Fri, 31 Aug 2018 08:15:05 +0000 (31 01:15 -0700)
tree7b73cc0acdf06f2301c2cb93644f83cf180adf4a
parentab66b2430a9987a9d5ba0b56270bd382efd6788a
doc: add Erop to the credits

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