Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> That's easily fixed, I think. We just need to remember what we have
> proved works.
> I can apply the attached patch if you think that's worth doing.
If you like; but if so, remove the comment saying that there's a
connection between the required list entries.
regards, tom lane