Commit 90830082630cd5bcd64ab03af3abeb4c4998d1f9

Stefan Sperling 2021-07-16T11:28:01

in delete_ref(), only print progress output after deletion has succeeded