Revert doc patch.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index ebf307b99bf5eba3192438819675d16841d65996..346d5977bd0e52abb2d8272b4cb50055ad5b32b4 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -26,6 +26,7 @@ Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr
 Shura                   debil_urod@ngs.ru
 Tom Lane                tgl@sss.pgh.pa.us
+Wolfram Wagner          ww@mpi-sb.mpg.de
 Wwp                     subscript@free.fr
 
 Many people are not named here because we lost track of them.  We