On Tue, Aug 3, 2021 at 9:52 AM Thomas Munro <[email protected]> wrote: > On Tue, Aug 3, 2021 at 1:17 AM Robert Haas <[email protected]> wrote: > > That's great. I just realized that this leaves us with identical > > RequestCheckpoint() calls in two nearby places. Is there any reason > > not to further simplify as in the attached? > > LGTM.
And pushed.
