Hi Ramsay On 22 May 2018 at 02:08, Ramsay Jones <ram...@ramsayjones.plus.com> 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
