On Tue, Jul 14, 2015 at 9:27 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Removing that test doesn't seem important to me. Why does it seem> important to you?
It's a minor issue, but it's easily fixed.
-- Peter Geoghegan