doc: add Gianni to the credits
commit0baa4168a8e8dfa832c1588247a79587fc4dda18
authorDavid Aguilar <davvid@gmail.com>
Sat, 15 Oct 2022 21:10:00 +0000 (15 14:10 -0700)
committerDavid Aguilar <davvid@gmail.com>
Sat, 15 Oct 2022 21:16:33 +0000 (15 14:16 -0700)
tree1497ae421ffcd08fdb495509f65aa6af7975ca74
parent87db8e41d5ff5b8f0be9c923664cf1701e433089
doc: add Gianni to the credits

Signed-off-by: David Aguilar <davvid@gmail.com>
docs/thanks.rst