<p dir="ltr"><br /> On 23/01/2016 12:42 am, "David Rowley" <<a
href="mailto:david.rowley@2ndquadrant.com">david.rowley@2ndquadrant.com</a>>wrote:<br /> ><br /> > On 23
January2016 at 05:36, Tomas Vondra <<a
href="mailto:tomas.vondra@2ndquadrant.com">tomas.vondra@2ndquadrant.com</a>>wrote:<br /> > > Otherwise I think
thepatch is ready for committer - I think this is a<br /> > > valuable optimization and I see nothing wrong with
thecode.<br /> > ><br /> > ><br /> > > Any objections to marking it accordingly?<p dir="ltr">I've
justset this patch back to ready for committer. It was previous marked as so but lost that status when it was moved to
themarch fest.<br />
