ontohub/ontohub — pull request #1028 by eugenk (2014-09-03 09:28:54+00:00)
Title: 795 delete repository asynchonously

Shall fix #795.

I created this branch on top of #1026, not on top of staging.