Merge git://repo.or.cz/git-gui into pt/git-gui