]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'js/git-gui-msgfmt-on-windows'
authorJunio C Hamano <gitster@pobox.com>
Fri, 11 Aug 2017 20:27:06 +0000 (13:27 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 11 Aug 2017 20:27:06 +0000 (13:27 -0700)
Because recent Git for Windows do come with a real msgfmt, the
build procedure for git-gui has been updated to use it instead of a
hand-rolled substitute.

* js/git-gui-msgfmt-on-windows:
  git-gui (MinGW): make use of MSys2's msgfmt
  git gui: allow for a long recentrepo list
  git gui: de-dup selected repo from recentrepo history
  git gui: cope with duplicates in _get_recentrepo
  git-gui: remove duplicate entries from .gitconfig's gui.recentrepo


Trivial merge