Update THANKS

diff --git a/THANKS b/THANKS
index c86b3db8317ada17ac9908d77c9d9b01544a891e..8f71b12fe8cc6340c0333b3269605ee1fa5d38ad 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -57,6 +57,7 @@ has been important. :-) In alphabetical order:
   - Michael Fox
   - Andres Freund
   - Mike Frysinger
+  - Collin Funk
   - Daniel Richard G.
   - Tomasz Gajc
   - Bjarni Ingi Gislason