Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> On 2023-03-03 Fr 13:46, Tom Lane wrote:
>> This is actually moving the inclusion-check goalposts quite far,
>> but HEAD seems to pass cleanly, and again we can always adjust later.
>> Any objections?
> LGTM
Pushed, thanks for looking.
regards, tom lane