From: Jim Meyering <meyering@redhat.com>
Date: Sun, 5 Oct 2008 11:00:23 +0000 (+0200)
Subject: ChangeLog: adjust Debarshi's email address, on his request
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b5a7c093d06c497ca3e35ed35b147bf52a1103df;p=pspp

ChangeLog: adjust Debarshi's email address, on his request
---

diff --git a/ChangeLog b/ChangeLog
index 6cbd739523..4f4f35c333 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,8 +2,7 @@
 
 	bootstrap: check for AC_PROG_LIBTOOL as well as AM_PROG_LIBTOOL
 	* build-aux/bootstrap: Check for AC_PROG_LIBTOOL, as well as the
-	obsolete AM_PROG_LIBTOOL.
-	Spotted by Debarshi 'Rishi' Ray <debarshi.ray@gmail.com>.
+	obsolete AM_PROG_LIBTOOL.  Spotted by Debarshi Ray <rishi@gnu.org>.
 
 2008-10-04  Bruno Haible  <bruno@clisp.org>