This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg 44d0da02d0 Ensure progress when delete-by-rename fails (fixes #1373)

2015-03-01 10:55:48 +01:00

30 KiB

Raw Blame History

View Raw