From: Vladimír Vondruš <mosra@centrum.cz>
Date: Fri, 8 May 2020 13:41:48 +0000 (+0200)
Subject: Update CREDITS.md.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=fbf13acadabf97cc3fcdbe59dc816407241b66d7;p=blog.git

Update CREDITS.md.
---

diff --git a/CREDITS.rst b/CREDITS.rst
index b28ceb6c..696b971b 100644
--- a/CREDITS.rst
+++ b/CREDITS.rst
@@ -19,6 +19,8 @@ Listing only people with code contributions, because otherwise there's too many
     for external docs in Markdown files
 -   `@DarkContact <https://github.com/DarkContact>`_ --- Windows-related fixes
 -   `@gotchafr <https://github.com/gotchafr>`_ --- Linux-related fixes
+-   `Rémi Marche <https://github.com/Marr11317>`_ --- Doxygen theme
+    improvements
 -   `@paulignari <https://github.com/paulignari>`_ --- i18n-related
     improvements
 -   Ryohei Machida (`@machida-mn <https://github.com/machida-mn>`_) ---