Well, you’re clean and this is good 8) This is what matters… Happy New Year
Cut & paste from Eddy: Only true virus infected files can be repaired, the others just need to be deleted.