Nathan Bossart <nathandbossart@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