Andres Freund Mon, 31 Jan 2022 10:02:30 -0800
On 2022-01-31 10:43:31 -0500, Andrew Dunstan wrote: > We should fix that, maybe along these lines?
WFM.