Fallback to a file copy during update if the file rename fails#72

Merged

phamann merged 1 commit intomasterfrom phamann/fix-update-rename

May 14, 2020

+4-2

Commits on May 14, 2020

Fallback to a file copy during update if the file rename fails.

phamann
and
Frederik Deweerdt
committed