With current PR, it seems to me that these categories are not deleted. When I create push app, variant and installation which belongs to few categories and I delete that installation, categories are still there. Could you please double check that? Is that feature or a bug?
|