Duplicate Profile Names can not be selected#5200
Merged
jonoomph merged 6 commits intodevelopfrom fix-duplicate-profile-namesApr 13, 2023
+237-164
Commits
Commits on Apr 12, 2023
- committed
Adding Profile search button to Preferences for easier filtering and searching for a default profile
committed- committed
- committed