*** empty log message ***

diff --git a/THANKS b/THANKS
index 80150d5b13c4ad3d651f817dc118d5e5ac78b87c..9b7a06c71e6b0fc2757fc2e5a2712822c85c6152 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -114,6 +114,7 @@ Jochen Hein                         jochen.hein@delphi.central.de
 Joe Orton                           joe@orton.demon.co.uk
 Johan Danielsson                    joda@pdc.kth.se
 John Bley                           jbb6@acpub.duke.edu
+John David Anglin                   dave.anglin@nrc.ca
 John Gatewood Ham                   zappaman@alphabox.compsci.buu.ac.th
 John Gotts                          jgotts@umich.edu
 John Kendall                        kendall@capps.com