On Sat, Nov 30, 2013 at 12:13 AM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > I push the result on the chrisl repository. Please check if I did any thing > wrong. I will shortly push it to the official repository and cut a new > release. I think everything looks fine. Thanks -- Franz Schrober -- 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
