Subject: Re: bug#13661: 24.3.50; shell-command fails with w32-downcase-file-names

From: Richard Copley <[email-masked]>
Date: Sun, 10 Feb 2013 00:43:59 +0000

> Damn that w32-downcase-file-names option!  Why are people still using it in the year 2013??

I don't remember why I use it (something to do with RCS I expect), but
I'll stop, and report any issues if they surface.

> Thanks; fixed in revision 111711.

Thanks!