*** empty log message ***

diff --git a/THANKS b/THANKS
index 599423e1e334c1cc0237ac3b278348b7e614840f..2ed986d9ca0bbc41352e650c350343ff6ff9f763 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -391,6 +391,7 @@ Paul Worrall                        paul@basilisk.uklinux.net
 Pawel Prokop                        pablo@wizard.ae.krakow.pl
 Per Cederqvist                      ceder@lysator.liu.se
 Per Kristian Hove                   perhov@math.ntnu.no
+Peter Breitenlohner                 peb@mppmu.mpg.de
 Peter Eriksson                      peter@ifm.liu.se
 Peter Fales                         psfales@lucent.com
 Peter Horst                         peter@ointment.org