diff -Naur gri-2.12.23.orig/doc/gri.texi gri-2.12.23/doc/gri.texi --- gri-2.12.23.orig/doc/gri.texi 2017-08-24 16:31:52.000000000 +0200 +++ gri-2.12.23/doc/gri.texi 2019-10-22 15:39:51.666151000 +0200 @@ -19277,7 +19277,7 @@ Thomas Larsen, @cindex Thomas Larsen (contributor) @cindex contributor, Thomas Larsen -Alejandro L�pez-Valencia, +Alejandro Lopez-Valencia, @cindex Alejandro Lopez-Valencia (contributor) @cindex contributor, Alejandro Lopez-Valencia Kawamura Masao,