guide bug?

[Ryan Schmidt]

On Apr 27, 2018, at 16:11, Joshua Root wrote:

> On 2018-4-28 06:25 , Ryan Schmidt wrote:
> 
>> On Apr 27, 2018, at 08:10, Joshua Root wrote:
>> 
>> 
>>> 'move' still handles some case-sensitivity issues, but indeed 'copy' and
>>> 'delete' are just aliases these days. I think we don't need to
>>> discourage the use of 'file', since if you hit the one fairly rare case
>>> where there's a difference you'll know it.
>> 
>> Not if the bug only affects an OS version you're not using.
> 
> What OS version doesn't need the case-only rename code?

Right now, none of the workaround are OS-specific. But you noted that one of them used to be. And it could easily be that a bug affects only some OS versions in the future.