Just so everyone's on the same page: the release team is currently
assuming that we'll release 9.5.0 the first week of January (ie
wrap on Monday 4 Jan for public announcement Thursday 7 Jan).
And we're thinking that we'll do a round of back-branch updates,
including 9.5.1, the second week of February (wrap on Feb 8).
Discovery of dire bugs might cause these dates to move, but that's
the plan at the moment.
regards, tom lane