Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix issue with mapping registry (#514)
This caused the getter for the current mapping registry to return null if the user has not selected a registry and is not authorized to save into any registry. Needs to be fixed properly at some point in #515.
- Loading branch information