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.
