Update THANKS.

wzhengsen · Jun 27, 2023 · 86118ea · 86118ea
1 parent 3d1fddd
commit 86118ea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/THANKS b/THANKS
@@ -62,6 +62,7 @@ has been important. :-) In alphabetical order:
   - Nicholas Jackson
   - Sam James
   - Hajin Jang
+  - Hans Jansen
   - Jouk Jansen
   - Jun I Jin
   - Kiyoshi Kanazawa