Remove unlabeled-1.71.12 branch.
Deleted: branches/unlabeled-1.71.12/