# HG changeset patch
# User Gustavo J. A. M. Carneiro  <gjc@inescporto.pt>
# Date 1181325514 -3600
# Node ID 0e3564aa9d31b7d5206a37aa1a5e350c06d7c32f
# Parent  8019689fb08ca20c6ba74649f57a9dce9013cc22
Add my institutional email address (gjc@inescporto.pt), in addition to the GMail one.

diff -r 8019689fb08c -r 0e3564aa9d31 AUTHORS
--- a/AUTHORS	Thu May 31 08:20:09 2007 -0700
+++ b/AUTHORS	Fri Jun 08 18:58:34 2007 +0100
@@ -1,5 +1,5 @@
 Raj Bhattarcharjea (raj.b@gatech.edu)
-Gustavo Carneiro (gjcarneiro@gmail.com)
+Gustavo Carneiro (gjc@inescporto.pt, gjcarneiro@gmail.com)
 Craig Dowell (craigdo@ee.washington.edu)
 Tom Henderson (tomhend@u.washington.edu)
 Mathieu Lacage (mathieu.lacage@sophia.inria.fr)