On Tue, Aug 3, 2021 at 9:52 AM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> On Tue, Aug 3, 2021 at 1:17 AM Robert Haas <robertmhaas(at)gmail(dot)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.