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!