> Date: Tue, 17 Sep 2013 20:16:25 +0300 > From: Eli Zaretskii <[email protected]> > Cc: [email protected] > > > Date: Tue, 17 Sep 2013 16:52:49 GMT > > From: [email protected] (Karl Berry) > > Cc: [email protected] > > > > directories as in built-in defaults, but spelled in a different > > letter-case or with a different flavor of slashes. > > > > Sure, feel free to commit. I guess there should be a comment that > > FILENAME_CMP (from system.h) isn't used because it doesn't merge > > slashes. As I understand it. > > You understand correctly. Will do.
Done (revision 5379).
