On 2016-02-07 23:21:57 +0000, Andrew Gierth wrote:
> I think for now the following patch is best. This preserves the ability
> to push degenerate HAVING clauses through an explicit GROUP BY () as
> well as an implicit one, but prevents pushdown in all other cases.
>
> Includes comment and regression test.
I've pushed this now. I'd greatly appreciate sending/pinging earlier
than the day of wrapping, next time round...
Andres