Hi, On 2018-12-11 19:33:23 -0500, John Naylor wrote: > On 12/11/18, Andres Freund <and...@anarazel.de> wrote: > > I've attached a patch implementing that. I'm not particularly in love > > with FirstGenbkiObjectId as the symbol, but I couldn't think of > > something more descriptive. > > How about FirstAutoAssignedObjectId?
That sounds too general to me. Could just as well be what FirstNormalObjectId is, or what FirstBootstrapObjectId is. So between those I do prefer FirstGenbkiObjectId, as that's clearer. Could go for FirstGenbkiAssignedObjectId too, but that's probably a bit redundant. Greetings, Andres Freund
