Merge branch 'develop' into develop.ontohub.org
fixing Ontology categorys in devolpment
Merge branch 'develop' of github:ontohub/ontohub into develop
Merge branch 'develop.ontohub.org' of github:ontohub/ontohub into develop.ontohub.org
Merge branch 'develop' into develop.ontohub.org