Update THANKS

diff --git a/THANKS b/THANKS
index 51eeb6d9d00daa612a39660c65a8ab1d3c52c84d..c8eb1186ee032ab0a008c1ef4689e3433c128407 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -129,6 +129,7 @@ has been important. :-) In alphabetical order:
   - Filip Palian
   - Peter Pallinger
   - Kai Pastor
+  - Keith Patton
   - Rui Paulo
   - Igor Pavlov
   - Diego Elio Pettenò