On 10/15/14 5:56 PM, Tom Lane wrote:> Hm ... this was changed in commit 6f6b46c9c0ca3d96. Peter, did> you consider efficiency here?
Fixed.