On 15 October 2014 03:34, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Tue, Oct 14, 2014 at 8:55 PM, Ard Biesheuvel > <ard.biesheuvel@xxxxxxxxxx> wrote: >> >> Ping? > > It is already applied and pushed as c1763a249aba0a40bd326c845c2a146132a02448 > OK, thanks! Which upstream repo is that? I couldn't find it on git://git.kernel.org/pub/scm/devel/sparse/sparse.git regards, Ard. -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
