Update THANKS

(cherry picked from commit da359c360e986b21cd8d7b888c6a80f56b9d49c7)

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