tree 99e1113a8f441ddfbc55cae51dc87658412db577
parent 6d2b8a390c2519bf25cd73184c7c6e8baec4208a
parent 90dbf226ba3fae0d932ae4e42d8d3122a47766bc
author Junio C Hamano <gitster@pobox.com> 1502483226 -0700
committer Junio C Hamano <gitster@pobox.com> 1502483226 -0700

Merge branch 'js/git-gui-msgfmt-on-windows'

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