On Thu, Jun 28, 2018 at 09:46:17AM -0700, Peter Geoghegan wrote: > * Don't assume that you haven't broken the doc build if you make even > a trivial doc change. Removing a GUC can break instances in the > release notes where they're referenced. Even grep can miss this, since > references to the GUC will have dashes rather than underscores, plus > possibly other variations.
Yes, I even check the docs after whitespace changes. -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + As you are, so once was I. As I am, so you will be. + + Ancient Roman grave inscription +
