Skip to content

Replace some os.rename with shutil.move

Moritz Huebnerrequested to merge
make_safe_file_dump_safer into master

Windows does not allow overwriting files with os.rename. shutil.move makes things safe.

Edited by Moritz Huebner

Merge request reports