Solved a bug in the deletion of an operation: The master index was not reset.
Solved a bug when re-scanning: previously seen devides were not updated.
Solved a bug when re-scanning: previously seen devides were not updated.
merged
mentioned in commit 437588fc