Skip to content

Replace some os.rename with shutil.move

Moritz Huebner requested 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