Andrew Dunstan <and...@dunslane.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
