On Fri, Mar 18, 2016 at 11:43 AM, Andres Freund <andres(at)anarazel(dot)de> wrote:> Yes, that removes the warning, and looks correct.
Thanks. We should be careful to not repeat this mistake when thequicksort patch goes in.
-- Peter Geoghegan