On Fri, Nov 21, 2014 at 2:12 PM, Michael Paquier<michael(dot)paquier(at)gmail(dot)com> wrote:> I am adding that to the commit fest of December.Here are updated patches. Alvaro notified me about an inconsistent comment.-- Michael