On Mon, Jan 22, 2018 at 9:46 AM, Tom Lane <[email protected]> wrote: > Robert Haas <[email protected]> writes: >> Tom, do you want to double-check that this fixes it for you? > > I can confirm that a valgrind run succeeded for me with the patch > in place.
Committed. Sorry for the delay. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
