Re: [GIT PULL] git-gui pull request

Pratyush Yadav [off-list ref] writes:

Please pull the changes in git-gui for Git v2.28.0-rc2. The changes this
time around the are fairly small (only one commit in fact).

Will do.

 lib/choose_repository.tcl | 27 +++------------------------
 1 file changed, 3 insertions(+), 24 deletions(-)

Adding a feature by deleting lines is the best style of development
;-)