Merge branch 'maint' of git://repo.or.cz/git-gui into maint