Nathan Bossart <nathandbossart(at)gmail(dot)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