Robert Haas <robertmhaas@gmail.com> writes:
> On Sat, Aug 5, 2017 at 4:14 AM, Michael Paquier
> <michael.paquier@gmail.com> wrote:
>> If no other committer wants to take a shot at those patches, it may be
>> better to push them after the next minor release happens? I don't like
>> delaying bug fixes, but the release is close by and time flies.
> /me reads patches.
> [ assorted objections ]
Given Robert's objections, there's no way we should force these into
Monday's releases. Safer to spend whatever time is needed to get it
right.
regards, tom lane