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.
