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

Reply via email to