Sorry! I'm having email delivery issues. I thought the first few
didn't go through. I'm working through email DKMS problems where we
were incompatible with the mailing list.
It sounds like it's fixed now! Sorry for the spam!
On 8/28/24 18:38, Tom Lane wrote:
> We don't really need four copies of this patch.
>
> regards, tom lane