Hi Andreas,
thank you for this patch. I already committed it, this was well spotted.
There is another issue though. As I already wrote you, I never get the mails
that you send to this mailing list. And this was also the case for these two
mails, without Gregory replying, the whole issue would
Andreas,
For future reference, it is usually best to clone the repository and create
a branch, then create a PR for consideration by the maintainer of that
repo, in this case, Fred Kiefer. This is not a hard and fast rule, but it
allows us to keep all contributions tracked in one place.
Your
Hi all,
I sent the below fix to the group a while ago. Has this already been integrated
into the repository (by someone with write privileges)? I haven't seen any
feedback on this and just want to make sure it does not get lost.
Thanks,
Andreas
***
> On 11 Oct 2020, at 19:54, Andreas
