On Tue, Aug 3, 2021 at 9:52 AM Thomas Munro <thomas.mu...@gmail.com> wrote: > On Tue, Aug 3, 2021 at 1:17 AM Robert Haas <robertmh...@gmail.com> 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.
