Re: pg12 release notes

On Thu, May  9, 2019 at 07:13:35PM -0500, Justin Pryzby wrote:
> On Thu, May 09, 2019 at 07:35:18PM -0400, Bruce Momjian wrote:
> > I have made your other changes, with adjustment, patch attached.
> > 
> > The results are here:
> > 
> >     http://momjian.us/pgsql_docs/release-12.html
> 
> Thanks

These were all very helpful.  I adjusted your changes to create the
attached applied patch.  URL updated:

    http://momjian.us/pgsql_docs/build.html

-- 
  Bruce Momjian  <bruce@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 +