On 29 May 2018 at 23:32, Jeff King <p...@peff.net> 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.yyfsc3r3spqpi...@sigill.intra.peff.net/ > > and down-thread.
Thanks for the pointer. I had missed that thread entirely. Martin