On 11/03/2015 12:45 PM, Dmitry Vyukov wrote: > On Tue, Nov 3, 2015 at 6:35 PM, Dmitry Vyukov <dvyukov@xxxxxxxxxx> wrote: >> > I guess just nobody reviewed this. I would like to see this merged as well. Hm, at v2 it was working pretty well and the feeling I got was that there are no further review comments (rather than no one reviewed it). Thanks, Sasha -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html