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.
