> Date: Mon, 16 Sep 2013 21:42:48 +0300 > From: Eli Zaretskii <[email protected]> > Cc: [email protected] > > I needed the following patch to prevent "info -w -a" from reporting an > Info file more than once on MS-Windows if INFOPATH used the same > directories as in built-in defaults, but spelled in a different > letter-case or with a different flavor of slashes.
I forgot to tell that if this (or some variation thereof) is OK with the maintainers, I can commit the changes myself (with appropriate ChangeLog entries). I think.
