Hi Tim,

On 12/6/20 6:31 AM, Timothy Sample wrote:
> I have the new patches all lined up and ready to go.  Just one more
> question.  There should be a line for you in the copyright header of
> each changed file.  I’m happy to add it, but I want to make sure it’s
> okay.  The Git author field of the commits has
>
>      Giacomo Leidi <goodoldpaul@autistici.org>
>
> Shall I use that for the copyright headers?

yes, thank you. I'm not sure if it'll help but I'm attaching the patches 
with the copyright header properly added, so that you may reuse them 
if/where necessary.

Cheers,

Giacomo