#5350: Is it possible to delete a build that's been pushed to stable ?