Merge branch 'jc/git-gui-has-maintainer'
authorJunio C Hamano <gitster@pobox.com>
Sun, 6 Oct 2019 03:25:15 +0000 (12:25 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 6 Oct 2019 03:25:15 +0000 (12:25 +0900)
* jc/git-gui-has-maintainer:
  SubmittingPatches: git-gui has a new maintainer


Trivial merge