On Sat, Feb 6, 2021 at 7:40 PM Andres Freund <and...@anarazel.de> wrote: > Looks like a mistake on my part... Probably a rename regex that somehow > went wrong - I went back and forth on those names way too many > times. Want me to push the fix?
Spotted another one: Shouldn't ReadNextFullTransactionId() actually be called ReadNewFullTransactionId()? Actually, the inverse approach looks like it produces fewer inconsistencies: you could instead rename ReadNewTransactionId() to ReadNextTransactionId(). -- Peter Geoghegan