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 patch
itself.


Reply via email to