60cd6a56b5
This update fixes the issue that empty directories could be pruned despite option --prune not being used.
This update fixes the issue that empty directories could be pruned despite option --prune not being used.