fix cleaning of readers when changing from private to public
Merge branch '582-disable_editing_on_mirrors' into develop
Merge branch 'develop' into develop.ontohub.org