On Fri, Dec 18, 2015 at 10:22 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> Done.
Thanks.-- Michael