From ede52ccc48961024eacef9fd2dc5767f8bd64381 Mon Sep 17 00:00:00 2001
From: Misa <infoteddy@infoteddy.info>
Date: Tue, 21 Feb 2023 12:28:57 -0800
Subject: [PATCH] Add Jules de Sartiges to `Credits.h`

I noticed this name was present in CONTRIBUTORS.txt but missing in
Credits.h. Their contribution was PR #782.
---
 desktop_version/src/Credits.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/desktop_version/src/Credits.h b/desktop_version/src/Credits.h
index 7882e735..6aed2137 100644
--- a/desktop_version/src/Credits.h
+++ b/desktop_version/src/Credits.h
@@ -99,6 +99,7 @@ static const char* githubfriends[] = {
     "fraZ0R",
     "Fredrik Ljungdahl",
     "iliana etaoin",
+    "Jules de Sartiges",
     "Keith Stellyes",
     "KyoZM",
     "leo60228",