Commit 0532e7bb87713921f34f24ba5599d3b4d2922e1e

nulltoken 2012-10-19T20:34:33

branch: allow deletion of branch when HEAD's missing