gnulib: update.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index af36dcb842fe9f8fd6f340c7a27a01ea01dd0399..bd2faa19b6cacaf5d392fdcd93bece0054417827 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -77,6 +77,7 @@ Quentin Hocquet           hocquet@gostai.com
 Quoc Peyrot               chojin@lrde.epita.fr
 R Blake                   blakers@mac.com
 Raja R Harinath           harinath@cs.umn.edu
+Ralf Wildenhues           Ralf.Wildenhues@gmx.de
 Richard Stallman          rms@gnu.org
 Robert Anisko             anisko_r@epita.fr
 Satya Kiran Popuri        satyakiran@gmail.com