On 23/01/2016 12:42 am, "David Rowley" <david.row...@2ndquadrant.com> wrote:
> On 23 January 2016 at 05:36, Tomas Vondra <tomas.von...@2ndquadrant.com>
> > Otherwise I think the patch is ready for committer - I think this is a
> > valuable optimization and I see nothing wrong with the code.
> > Any objections to marking it accordingly?
I've just set this patch back to ready for committer. It was previous
marked as so but lost that status when it was moved to the march fest.