On Tue, 30 Jun 2020 18:38:08 +0200
Michael Meskes <meskes(at)postgresql(dot)org> wrote:
> Hi,
>
> On Tue, 2020-06-30 at 15:30 +0200, Jehan-Guillaume de Rorthais wrote:
> [...]
>
> Thanks for finding and fixing this. Patch committed.
Oh, I didn't thought this would be that fast. Thanks!
I don't know if it's still possible to set the reported-by flag, but the
reporter was Gérard Lesbats. I left it as "to-be-defined" in my original patch
while waiting for his agreement.
Regards,