On Monday, June 13, 2016 11:53:10 AM jacob wrote:> Hi Rafael,> > Any feedback? It that is OK, can you take this patch independent of the> second patch (which is going into tip tree)?I'll do that.Thanks,Rafael