Update THANKS.

(cherry picked from commit 62dd1c9bf0)
2023-06-07 00:10:38 +08:00 · 2023-06-07 00:10:38 +08:00 · 6174ac8e60
parent b276ef1f49
commit 6174ac8e60
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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