On Sun, Feb 25, 2018 at 10:52:01AM -0800, Christopher Li wrote: > > Before we commit into bugzilla. Does any one feel strongly about what > bug tracking > system we should use? Having a bug report system can certainly help to have bugs reported, sure. But I don't think it's very important what system is used, it's not like there are hundreds of bug reports per week. What is important is to have bug reported, to have these bugs fixed and the fixes upstreamed. -- Luc -- 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