On Sun, Jan 22, 2023 at 02:12:54PM -0500, Tom Lane wrote:> I pushed v17 with some mostly-cosmetic changes, including more comments.
Thanks!
-- Nathan BossartAmazon Web Services: https://aws.amazon.com