]> granicus.if.org Git - git/commitdiff
Merge branch 'jc/git-gui-has-maintainer' into next
authorJunio C Hamano <gitster@pobox.com>
Mon, 30 Sep 2019 04:42:12 +0000 (13:42 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 30 Sep 2019 04:42:12 +0000 (13:42 +0900)
* jc/git-gui-has-maintainer:
  SubmittingPatches: git-gui has a new maintainer


Trivial merge