git-gui: call do_quit before destroying the main window
authorPratyush Yadav <me@yadavpratyush.com>
Sun, 4 Aug 2019 14:39:19 +0000 (20:09 +0530)
committerJunio C Hamano <gitster@pobox.com>
Wed, 7 Aug 2019 20:22:51 +0000 (13:22 -0700)
commit5440eb0...a2651c45a0e46f2335ecbb8d1f42c584
tree1495f0e...f5ac96628fffdf5bbeef8361eadd2652copy hash to clipboard (tree)
parent5ab7227...e16ac23c269f5019a74a7b1d65170e47copy hash to clipboard (diff)
git-gui.sh