t / t5100 / patch0007on commit Merge branch 'maint' of git://repo.or.cz/git-gui into maint (b833651)
   1