diff options
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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> |