On 25 February 2018 at 18:52, Christopher Li <sparse@xxxxxxxxxxx> wrote: > On Sun, Feb 25, 2018 at 10:34 AM, Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote: > Before we commit into bugzilla. Does any one feel strongly about what > bug tracking > system we should use? > I have no preference ... glad that there is already one that can be used. Regards -- 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