Hi Ramsay On 22 May 2018 at 02:08, Ramsay Jones <ramsay@xxxxxxxxxxxxxxxxxxxx> wrote: > On 22/05/18 00:59, Junio C Hamano wrote: >> There is a reroll by Martin that ties all the loose ends. > > Ah, OK, sorry for the noise. No worry. Thanks for pointing out the unused function to me. I appreciate it. Martin
