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

From: Eli Zaretskii <[email-masked]>
Date: Sun, 10 Feb 2013 07:33:02 +0200

> Date: Sun, 10 Feb 2013 00:43:59 +0000
> From: Richard Copley <[email-masked]>
> 
> > 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)

I'd be curious to know how RCS is related to this.  I use it myself.

> but I'll stop, and report any issues if they surface.

Thank you.