Update THANKS

diff --git a/THANKS b/THANKS
index 6cdcc72e4acbba82c2e03c56da6f4d8f69818ecd..0191224f46e106eadcd0823b3d370583f6e087cb 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -89,6 +89,7 @@ has been important. :-) In alphabetical order:
   - Hans Jansen
   - Jouk Jansen
   - Jun I Jin
+  - Richard W.M. Jones
   - Simon Josefsson
   - Christoph Junghans
   - Kiyoshi Kanazawa
@@ -191,6 +192,7 @@ has been important. :-) In alphabetical order:
   - Andreas Schwab
   - Eli Schwartz
   - Peter Seiderer
+  - Orgad Shaneh
   - Bhargava Shastry
   - Dan Shechter
   - Stuart Shelton