SubmittingPatches: git-gui has a new maintainer

Signed-off-by: Junio C Hamano <gitster@pobox.com>

Junio C Hamano committed Sep 18, 2019 at 13:57 UTC 253bfe49bd84bfa2ddf70ab63e1ef4d449630a40
1 file changed +2 -2
Documentation/SubmittingPatches
+2 -2
@@ -372,9 +372,9 @@ such as "Thanks-to:", "Based-on-patch-by:", or "Mentored-by:".
372 Some parts of the system have dedicated maintainers with their own
373 repositories.
374
375 -- `git-gui/` comes from git-gui project, maintained by Pat Thoyts:
375 +- `git-gui/` comes from git-gui project, maintained by Pratyush Yadav:
376
377 - git://repo.or.cz/git-gui.git
377 + https://github.com/prati0100/git-gui.git
378
379 - `gitk-git/` comes from Paul Mackerras's gitk project:
380