On Tue, Oct 28, 2014 at 12:12 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Committed and back-patched to 9.4.Thanks.-- Michael