On Tue, Nov 29, 2022 at 02:22:59PM -0500, Robert Haas wrote:> Here's a proposed patch to do that.
If I'm not wrong, you message includes a diffstat but without the patchitself.