5975c2e Fix deleting a branch from the UI

Authored and Committed by pingou 8 years ago
    Fix deleting a branch from the UI