Solved a bug in the deletion of an operation: The master index was not reset. (!9) · Merge requests · humanoides / tools / stm32_libraries · GitLab

Snippets Groups Projects

Merged Sergi Hernandez requested to merge dyn_manager_bugs into master 5 years ago

Feb 04, 2020
- Solved a bug in the deletion of an operation: The master index was not reset. · 53cc7fb9
  Sergi Hernandez authored 5 years ago
  
  Solved a bug when re-scanning: previously seen devides were not updated.
  53cc7fb9