On Thu, Nov 16, 2017 at 4:40 PM, Jeff Janes <jeff.ja...@gmail.com> wrote: > I changed it to "0 disables" to be more consistent with other locations.
Committed. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company