Bugfix: Do not issue messages for tools that have been removed but still have lingering selection settings#476
Merged
rhennigan merged 1 commit intomainfrom 475-tools-that-have-been-removed-may-still-have-selection-settings-that-cause-error-messagesNov 30, 2023
+2-2
