Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It is possible that the manifest workspaces include the root workspace. In this case `ConfigurationChie#getAvailableWorkspaceName()` would return the root name twice. This in turn would result in the root package being included twice and throw a `ConfigurationError` because of a duplicate package name. To address this we deduplicate the workspace names. Fixes #390
- Loading branch information