Re: REQUEST-PULL: Please pull from git-gui.FromJunio C Hamano <gitster@pobox.com>DateJan 21, 2014, 21:17 UTCMessage-ID<xmqqtxcxt4q5.fsf@gitster.dls.corp.google.com>In-Reply-To<871u051970.fsf@fox.patthoyts.tk>Thanks.Previous: Pat Thoyts