Hi,
On 3/3/23 8:58 AM, Jeff Davis wrote:
> On Thu, 2023-03-02 at 11:45 -0800, Jeff Davis wrote:
>> In this case it looks easier to add the right API than to be sure
>> about
>> whether it's needed or not.
>
> I attached a sketch of one approach.
Oh, that's very cool, thanks a lot!
> I'm not very confident that it's
> the right API or even that it works as I intended it, but if others
> like the approach I can work on it some more.
>
I'll look at it early next week.
Regards,
--
Bertrand Drouvot
PostgreSQL Contributors Team
RDS Open Source Databases
Amazon Web Services: https://aws.amazon.com