On Tue, Feb 6, 2018 at 12:53 PM, Robert Haas <robertmh...@gmail.com> wrote: >> Do you want somebody who does have a working valgrind installation >> (ie me) to take responsibility for pushing this patch? > > I committed it before seeing this. It probably would've been better > if you had done it, but I assume Peter tested it, so let's see what > the BF thinks.
I did test it with a full "make installcheck" + valgrind-3.11.0. I'd be very surprised if this doesn't make the buildfarm go green. -- Peter Geoghegan