Tom Lane wrote:
>Andrew Dunstan <andrew@dunslane.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.
>
>
>
>
done.
cheers
andrew