On Sat, Jul 16, 2022 at 08:13:43PM +0000, Manuel Boni via GitGitGadget wrote: > Update 2022-07-16: I addressed the suggestions by Jeff King and Junio C. > Hamano by integrating their fixes and by rewording the commit message, > so that emphasis is put on the documentation enhancement and mentioning > the improved tab completion as a beneficial side effect. Thanks. This version looks OK to me. -Peff
