On Sat, Aug 12, 2017 at 4:31 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > > 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. Certainly. > 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. That's very fine for me. > Let's get this 0.5.1 release out. I'm all in favor of that. -- 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