Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #1663 from ontohub/1653-content_tab_is_not_active
Content tab is not active
- Loading branch information