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

[Eli Zaretskii]

> Date: Sun, 10 Feb 2013 00:43:59 +0000
> From: Richard Copley <rcopley@gmail.com>
> 
> > 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.