[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#13661: 24.3.50; shell-command fails with w32-downcase-file-names
From: |
Richard Copley |
Subject: |
bug#13661: 24.3.50; shell-command fails with w32-downcase-file-names |
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!