doc: add Martin to the credits
commitbf37ef48d6d0d330cc2e95fa9eaae1087cf4237b
authorDavid Aguilar <davvid@gmail.com>
Thu, 30 Jun 2022 02:06:14 +0000 (29 19:06 -0700)
committerDavid Aguilar <davvid@gmail.com>
Thu, 30 Jun 2022 02:06:47 +0000 (29 19:06 -0700)
tree95bf95bb79444e759b8eddf86fe390746a2d3827
parent38c80ca52aee0f00c0f8d93e62dff2f893eb22a4
doc: add Martin to the credits

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