Commit a612a25fa673447e874407fd2d9501998885d392

Edward Thomson 2014-07-18T18:22:54

git_rebase_commit: write HEAD's reflog appropriately