On Fri, Jan 11, 2019 at 12:02:22PM -0500, Robert Haas wrote:> On Thu, Jan 10, 2019 at 7:05 PM Thomas Munro> <thomas(dot)munro(at)enterprisedb(dot)com> wrote:> > +1> > +1
+1.--Michael