On Tue, Aug 30, 2022 at 12:17 AM Nathan Bossart<nathandbossart(at)gmail(dot)com> wrote:> Thanks! I've attached a follow-up patch with a couple of small> suggestions.
Pushed, thanks!
-- John NaylorEDB: http://www.enterprisedb.com