<p dir="ltr"><br /> On Nov 5, 2014 5:27 PM, "Kevin Grittner" <<a
href="mailto:[email protected]">[email protected]</a>>wrote:<br /> ><br /> > Tom Lane <<a
href="mailto:[email protected]">[email protected]</a>>wrote:<br /> ><br /> > > ISTM that by now we could
justflat-out remove it.<br /> ><br /> > +1<br /> ><p dir="ltr">+1.<p dir="ltr">I thought we had already
removedit years ago :-)<p dir="ltr">/Magnus <br />
