mail

diff --git a/scripts/git-AUTHORS b/scripts/git-AUTHORS
index b1d4fad..19c24c5 100644 (file)
--- a/scripts/git-AUTHORS
+++ b/scripts/git-AUTHORS
@@ -42,11 +42,11 @@ scott = Scott Karlin <scott@cs.princeton.edu>
 smuir = Steve Muir <smuir@cs.princeton.edu>
 soltesz = Stephen Soltesz <soltesz@cs.princeton.edu>
 ssevinc = Soner Sevinc <ssevinc@cs.princeton.edu>
-thierry = Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
-Thierry Parmentelat = Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
+thierry = Thierry Parmentelat <thierry.parmentelat@inria.fr>
+Thierry Parmentelat = Thierry Parmentelat <thierry.parmentelat@inria.fr>
 tmack = Tony Mack <tmack@cs.princeton.edu>
 tmitchell = Tom Mitchell <tmitchel@bbn.com>
 valas = Vytautas Valancius <valas@gatech.edu>
 xcuvellier = Xavier Cuvellier <Xavier.Cuvellier@lip6.fr>
 mchaoui = mchaoui
-(no author) = Planet-Lab Support <support@planet-lab.org>
\ No newline at end of file
+(no author) = Planet-Lab Support <support@planet-lab.org>