summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormk1 <mk1@ae88bc3d-4319-0410-8dbf-d08b4c9d3795>2000-01-08 09:38:07 +0000
committermk1 <mk1@ae88bc3d-4319-0410-8dbf-d08b4c9d3795>2000-01-08 09:38:07 +0000
commitadc30fa403cc76a084422f5b7e2aab2450e871ec (patch)
treead604099c0de070ada13c72ca832b7ae7ccf650c
parent37785b498817b982b39f61bd788ba33e5b192b81 (diff)
downloadATCD-adc30fa403cc76a084422f5b7e2aab2450e871ec.tar.gz
Fixed my email address.
-rw-r--r--THANKS2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index 4fa3d441b8c..c0208efcbc1 100644
--- a/THANKS
+++ b/THANKS
@@ -18,7 +18,7 @@ John Heitmann <jwh1@cs.wustl.edu>
James Hu <jxh@cs.wustl.edu>
Prashant Jain <pjain@cs.wustl.edu>
Vishal Kachroo <vishal@cs.wustl.edu>
-Michael Kircher <mlkirche@trick.informatik.uni-stuttgart.de>
+Michael Kircher <mlkirche@mchp.siemens.de>
Yamuna Krishnamurthy <yamuna@cs.wustl.edu>
Fred Kuhns <fredk@cs.wustl.edu>
David Levine <levine@cs.wustl.edu>