merchant

commit 2db5396323163ee42205dc45b3dafbf3b8242eb8
parent b69daccae7c6e4a17bcfbf4d9aaadf4a610989f2
Author: Christian Grothoff <christian@grothoff.org>
Date:   Wed,  9 Nov 2016 17:33:28 +0100

fix my e-mail addy

Diffstat:
M
doc/manual.texi
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/manual.texi b/doc/manual.texi
@@ -36,7 +36,7 @@ Texts.  A copy of the license is included in the section entitled
 @subtitle Version @value{VERSION}
 @subtitle @value{UPDATED}
 @author Marcello Stanisci (@email{marcello.stanisci@@inria.fr})
-@author Christian Grothoff (@email{christian.grothoff.fr})
+@author Christian Grothoff (@email{christian.grothoff@@inria.fr})
 @page
 @vskip 0pt plus 1filll
 @insertcopying