Hi Ingo, On Sunday, 9 December 2018 13:14:58 GMT Ingo Schwarze wrote: > Did you intentionally not credit Ralph with the idea?
No. but my thanks was directed to both of you. :-) > Whoever commits next can remove the stray blank line that was > accidentally introduced into the ChangeLog; i don't think a > dedicated commit is needed for that. Good idea. Sorry, my spastic fingers, and I didn't notice until the commit email. Cheers Deri
