Andres Freund <andres(at)anarazel(dot)de> writes:> On 2022-07-16 17:33:47 -0400, Tom Lane wrote:>> Anyway, if Peter doesn't answer pretty soon I'll go do that.
> It's about midnight in Germany, so unlikely to come soon...
Done now.
regards, tom lane