id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
12879,boost::filesystem::rename could result in copy instead of rename (windows),anonymous,Beman Dawes,"caused by
https://svn.boost.org/trac/boost/ticket/6809

from msdn
https://msdn.microsoft.com/en-us/library/windows/desktop/aa365240(v=vs.85).aspx
If the file is successfully copied to a different volume and the original file is unable to be deleted, the function succeeds leaving the source file intact.

rename should produce error when source file can't be erased.",Bugs,new,To Be Determined,filesystem,Boost 1.60.0,Problem,,,miroslav.suk@…