Re: [Freemint-discuss] Bug report and patch

[David G. <dga...@gm...>]

2018-03-11 19:36 GMT+01:00 Thorsten Otto <ad...@th...>:
> On Sonntag, 11. März 2018 19:22:34 CET David Gálvez wrote:
>
>>
>
>> Don't you prefer to generate the patch with "git format-patch" so it
>
>> will be have your Github user information added?
>
>
>
> You can also do that on his behalf:
>
>
>
> git commit -m "some commit message" --author "Roger Burrows
> <ano...@us...>"
>

OK! Thanks for the tip!
I'll do it ASAP