On Mon, 2023-11-13 at 15:49 -0500, Tom Lane wrote:> Patch pushed with minor adjustments, mainly rewriting some comments.
Thank you!
Yours,Laurenz Albe