Re: git/lib and git/git-gui/lib merge mis-hap?

Junio C Hamano [off-list ref] wrote:

You seem to have further changes to the master branch of git-gui.  Would
it be a good time to pull for me?  The same question goes to maint as
well.

Yup.  I was getting ready to ask you to pull.

Can you pull maint and master?

:-)

-- 
Shawn.