doc: add David to the credits
commit22c8838cf36fdcbba8f4c92a63a7a9f047cc8a57
authorDavid Aguilar <davvid@gmail.com>
Sun, 22 Nov 2020 20:12:51 +0000 (22 12:12 -0800)
committerDavid Aguilar <davvid@gmail.com>
Sun, 22 Nov 2020 20:12:55 +0000 (22 12:12 -0800)
treeef7c21a7644a449b797b8afc5327aba9481aa52c
parent414735364c1f42fc1d5640d264e0ac57b114db15
doc: add David to the credits

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