Hi,

On 2022-10-15 12:02:14 -0700, Andres Freund wrote:
> See the attached patch fixing those omissions. I'll push it to HEAD once it
> has the CI stamp of approval.

Done.

Thanks for the report!


Reply via email to