Hi,
On 2018-01-10 13:06:50 -0500, Tom Lane wrote:
> So I think we should get rid of that micro-optimization, which is
> probably useless anyway from a performance standpoint, and do the
> comparison honestly. Any objections?
No, absolutely none. You're going to change it?
Greetings,
Andres Freund