The Dir.mkdir statement fails on Windows if src and dest reside on different partitions. Files are therefore copied one-by-one. The #6715 workaround is not needed anymore.
The Dir.mkdir statement fails on Windows if src and dest reside on different partitions. Files are therefore copied one-by-one. The #6715 workaround is not needed anymore.