Skip to content
GitLab

Solved a bug in the deletion of an operation: The master index was not reset.

Merged Sergi Hernandez requested to merge dyn_manager_bugs into master

Solved a bug when re-scanning: previously seen devides were not updated.