On Mon, Jul 23, 2018 at 01:48:21AM +0100, Andrew Gierth wrote:
> >>>>> "Peter" == Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> writes:
>
>>> Anyone have any objection to putting this into 11beta if it works,
>>> as well as 12devel?
>
> Peter> Yes, I have expressed concerns about this approach elsewhere in
> Peter> this thread.
>
> No response to my followup to you in 2+ weeks. Last call?
FWIW, I don't have any objections with experimenting on HEAD, but I
would vote for letting 11 out of this.
--
Michael