Re: [PATCH 02/11] Use current "detached HEAD" messageFromJunio C Hamano <gitster@pobox.com>DateAug 29, 2013, 18:13 UTCMessage-ID<xmqq4na85psi.fsf@gitster.dls.corp.google.com>In-Reply-To<1022906213.34401.1377626164272.JavaMail.ngmail@webmail19.arcor-online.net>Looks good; thanks.Previous: Thomas AckermannNext: Thomas Ackermann