On Tue, Feb 7, 2023 at 4:01 AM Rinat Shigapov <rinatshigapov(at)gmail(dot)com> wrote:
>
> Thomas, thank you for the details!
>
> Have you kept the branch that you used to generate the patch? Which commit should the patch apply to?
>
You can try something like
git checkout 'master(at){2018-05-13 13:37:00}'
to get a commit by date from rev-parse.
Best regards, Andrey Borodin.