From 6174ac8e60a5a9d202cc302917f007e07b38cf8b Mon Sep 17 00:00:00 2001
From: Jia Tan <jiat0218@gmail.com>
Date: Wed, 7 Jun 2023 00:10:38 +0800
Subject: [PATCH] Update THANKS.

(cherry picked from commit 62dd1c9bf0c66679ceeebc8b99bca136ca43bcb9)
---
 THANKS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/THANKS b/THANKS
index 742e2062..390dcf19 100644
--- a/THANKS
+++ b/THANKS
@@ -19,6 +19,7 @@ has been important. :-) In alphabetical order:
   - Jakub Bogusz
   - Adam Borowski
   - Maarten Bosmans
+  - Benjamin Buch
   - Trent W. Buck
   - Kevin R. Bulgrien
   - James Buren