galaxy delete group

[bernt-matthias]

It would be nice to have a delete_group function for galaxy. In there a reason that this is not implemented -- or is there maybe another way to achieve group deletion? With update_group one could easily remove all associations to users and groups before the deletion of the group ..