On Mon, Aug 2, 2021 at 1:37 AM Thomas Munro <thomas(dot)munro(at)gmail(dot)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?
--
Robert Haas
EDB: http://www.enterprisedb.com