Thomas Munro <thomas(dot)munro(at)gmail(dot)com> writes:
> On Sun, Sep 1, 2019 at 5:04 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
>> Adding to CF.
> Rebased. An OID clashed so re-roll the dice. Also spotted a typo.
FWIW, I'd move *all* the OIDs added by this patch up to >= 8000.
I don't feel a strong need to fill in the gaps in the low-numbered
OIDs, and people who do try that are likely to hit problems of the
sort you just did.
regards, tom lane