On Sun, Aug 28, 2022 at 5:14 PM Nathan Bossart <nathandboss...@gmail.com> wrote: > nitpick: I believe there should be a period before "After." > > Otherwise, LGTM.
Good catch. Thanks for the review. Committed with that correction. -- Robert Haas EDB: http://www.enterprisedb.com