On Tue, Jul 30, 2024, at 7:35 AM, Peter Eisentraut wrote:
On 30.07.24 02:05, Euler Taveira wrote:
> I'm attaching a patch that implements option (c). While reading the code
> I noticed that I left a comment that should be removed by commit
> b9639138262. 0002 removes it.
I have committed your 0002 patch. It looks like Amit has already
committed your 0001 patch.
Peter / Amit, thanks for the quick review and commit.