Re: CREATE STATISTICS documentation bug

[Robert Haas]

On Sat, Jun 15, 2019 at 7:22 PM Tomas Vondra
<tomas.von...@2ndquadrant.com> wrote:
> I've pushed a fix for the docs issue.

Thanks.

-- 
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company