On Sat, Aug 12, 2017 at 10:17 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Sat, Aug 12, 2017 at 3:55 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: >> >> Are you considering this in this release? > > Yes, I do. > I've another version with a tunable but this one I made for a > quick inclusion in the release. I think we need to draw the line some where. Now RC5 is out. The merge window is closed. It is not critical to have it. If there is serious bug cause RC6 then we can merge this in as well. Otherwise I would say hold on to after the release. We can make a minor 0.5.2 release. We don't have to pile every thing into one release. Let's get this 0.5.1 release out. Chris -- 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
