On Mon, Aug 2, 2021 at 6:47 PM Robert Haas <[email protected]> wrote:
>
> On Mon, Aug 2, 2021 at 1:37 AM Thomas Munro <[email protected]> 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