No problem. Thanks. :) On Thu, Jun 4, 2015 at 12:01 PM, Michal Marek <mmarek@xxxxxxx> wrote: > On 2015-06-04 16:56, Diego Viola wrote: >> Nevermind, I see my changes now. > > I forgot to push yesterday. > > Michal > -- 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