Re: REQUEST PULL: git-gui

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:57:46

Pulled (but I won't really work on Sunday night so the integration
and pushout will be done tomorrow).

Thanks.