Update THANKS.

2023-06-07 00:10:38 +08:00 · 2023-06-07 00:10:38 +08:00 · 6bcd516812
parent 0d94ba6922
commit 6bcd516812
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