(off-list ancestor, not in this archive)
Re: [PATCH] Fix branch renaming not updating HEADs correctly · Junio C Hamano <hidden> · 2017-08-27

Re: [PATCH] Fix branch renaming not updating HEADs correctly

From: Junio C Hamano <hidden>
Date: 2017-08-27 05:39:46

Thanks.  I'll merge this down to at least 'next' before I go
offline for a week.