I wrote:
> So I pushed the core bug fix, and I'll take another look at
> that part later.
... or not; the buildfarm didn't like that much. It'll
have to wait till after these releases, because I'm
overdue to get to work on the release notes.
regards, tom lane