Closed H0mire closed 1 month ago
I've noticed this PR and I'll still reserve above a week to let you fully test it before merging.
Ciao @clsty, no errors have occurred for a week, and no bug fixes have been necessary so far. Therefore, it should be safe to merge. Can you verify?
Thanks for your contribution.
this pull request contains a fix for the bug, which caused that removed or leftover files that were renamed do not get deleted and therefore confused the system.
Further minor improvements: