Fixed issue #3116: Revision graph: add ability to delete branches