Skip to content

Remove problems for deleted libraries

Martin Hoeher requested to merge 495-i-get-error-reports-on-non-existent-libraries into development

When deleting a library, remove any problems reported for it (as otherwise, the user has to restart the app completely to get rid of the warning).

Closes #495 (closed)

Merge request reports