On 29 May 2018 at 23:32, Jeff King <peff@xxxxxxxx> wrote: > On Mon, May 28, 2018 at 06:25:18PM +0900, Junio C Hamano wrote: > >> This shows the typical effect of this series, which (I subjectively >> think) gives us a more pleasant end-user experience. > > Heh, that is one of the cases that I found most ugly when I looked into > this earlier (and in particular, because I think it makes cut-and-paste > a little harder). > > More discussion in: > > https://public-inbox.org/git/20170111140758.yyfsc3r3spqpi6es@xxxxxxxxxxxxxxxxxxxxx/ > > and down-thread. Thanks for the pointer. I had missed that thread entirely. Martin
