(EXTRA_DIST): Avoid +=, a GNU make extension.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 1de53f0736ae9f7bedf76d9d4059017e12fd38fc..77b7c53a7e8fb7c4e4f51a1824b41714ed842c8a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -41,6 +41,8 @@ Paul Eggert             eggert@twinsun.com
 Per Allansson           per@appgate.com
 Peter Hámorský          hamo@upjs.sk
 Piotr Gackiewicz        gacek@intertel.com.pl
+R Blake                 blakers@mac.com
+Raja R Harinath         harinath@cs.umn.edu
 Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr
 Shura                   debil_urod@ngs.ru