I wrote:
> Peter Geoghegan <pg(at)bowt(dot)ie> writes:
>>> [ invent separate primary and secondary partition dependencies? ]
>> I lean towards changing these on HEAD, ...
> Me too.
Here's a version of the patch that does it that way.
regards, tom lane