Update THANKS

(cherry picked from commit f032373561cefaf07f92ffe3fbc471ec6770456e)

diff --git a/THANKS b/THANKS
index bb46ffccb9c5611538fb6158056d542578f698e0..b99245c6de2378b214b3999451ae432a928f8579 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -120,6 +120,7 @@ has been important. :-) In alphabetical order:
   - Alexander Neumann
   - Hongbo Ni
   - Jonathan Nieder
+  - Asgeir Storesund Nilsen
   - Andre Noll
   - Peter O'Gorman
   - Dimitri Papadopoulos Orfanos