Andres Freund <[email protected]> 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
