summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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>