Commit 91dad181439e0ea59bb84f8af9d7e144646f20c1

Edward Thomson 2015-07-24T15:01:04

Merge pull request #3305 from libgit2/cmn/reflog-del-backend refdb: delete a ref's reflog upon deletion