Nathan Bossart <nathandboss...@gmail.com> writes: > I've just committed 0a883a0 to v17. I'm not sure if that's worth > mentioning, though.
Yeah, I concluded it probably isn't. (I do normally add in any last-minute commits on the release Sunday.) regards, tom lane