tree c5bd344fab2e1b8bf84faf9b4e8a4978f6901d9a
parent ecf0a6c92b62437f2c0a2017a0e98c7f92b162dd
parent 1a799d14b71c3f694aa62edf99310bc3e1a482d5
author Dan Willemsen <dwillemsen@google.com> 1454625859 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1454625860 +0000

Merge "Fix prune when bare git has detached head"