Andrew's git / gitweb.git / diff
?
Merge branch 'rs/status-detached-head-memcmp' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 8 Dec 2015 22:11:32 +0000 (14:11 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 8 Dec 2015 22:11:32 +0000 (14:11 -0800)
Fix some string-matching corner cases when digging in the reflog for
"git status".

* rs/status-detached-head-memcmp:
wt-status: correct and simplify check for detached HEAD

Trivial merge