On Thu, May 3, 2018 at 10:08 AM, Tom Lane <t...@sss.pgh.pa.us> wrote: > I don't have any way to test this, but it looks plausible, so pushed. > > (I note you forgot to run autoheader, btw.)
Thanks! -- Thomas Munro http://www.enterprisedb.com
On Thu, May 3, 2018 at 10:08 AM, Tom Lane <t...@sss.pgh.pa.us> wrote: > I don't have any way to test this, but it looks plausible, so pushed. > > (I note you forgot to run autoheader, btw.)
Thanks! -- Thomas Munro http://www.enterprisedb.com