Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
More a stilistic nicety. If we get a search suffix passed, which is already part of the local configuration, it will be duplicated. The change avoids that
- Loading branch information