From 98ee6c0531f79d758aaf8f0386dca78384c70e75 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 16 Mar 2015 10:38:04 +0100
Subject: [PATCH] mail

---
 scripts/git-AUTHORS | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/git-AUTHORS b/scripts/git-AUTHORS
index b1d4fad..19c24c5 100644
--- 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>
-- 
2.43.0