On Mon, Aug 2, 2021 at 6:47 PM Robert Haas <robertmh...@gmail.com> wrote:
>
> On Mon, Aug 2, 2021 at 1:37 AM Thomas Munro <thomas.mu...@gmail.com> wrote:
> > I pushed 0001.
>
> 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?
>
+1, also, can we just get rid off "promoted" flag? The only
inconvenience is we might need to check three flags instead of one to
perform the checkpoint at the end.


Reply via email to