<p dir="ltr"><br /> On Nov 5, 2014 5:27 PM, "Kevin Grittner" <<a
href="mailto:kgrittn@ymail.com">kgrittn@ymail.com</a>>wrote:<br /> ><br /> > Tom Lane <<a
href="mailto:tgl@sss.pgh.pa.us">tgl@sss.pgh.pa.us</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 />