From bf37ef48d6d0d330cc2e95fa9eaae1087cf4237b Mon Sep 17 00:00:00 2001
From: David Aguilar <davvid@gmail.com>
Date: Wed, 29 Jun 2022 19:06:14 -0700
Subject: [PATCH] doc: add Martin to the credits

Signed-off-by: David Aguilar <davvid@gmail.com>
---
 docs/thanks.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/thanks.rst b/docs/thanks.rst
index 94a40256..3e0ffd9b 100644
--- a/docs/thanks.rst
+++ b/docs/thanks.rst
@@ -155,6 +155,7 @@ Thanks
 * Marco Costalba
 * Mariusz Jaskółka
 * Markus Heidelberg
+* Martin Gysel
 * Martin Konecny
 * Matěj Šmíd
 * Matthew Levine
-- 
2.11.4.GIT