On Mon, Apr 30, 2018 at 11:00:17AM -0700, Randy Dunlap wrote: > On 04/30/2018 04:22 AM, Luc Van Oostenryck wrote: > > The latest release of sparse have been pushed to the official > > repository. It's a smaller release than the previous one but > > it contains some important to not be flooded by unimportant > > warnings while compiling the kernel. > > Great, thanks. > > As I did with v0.5.1, I request that the release info be made available > on the Sparse wiki at https://sparse.wiki.kernel.org/ Sure, it's normal. Alas, like I tried for 0.5.1, I can't login on the wiki and the 'request an account' failed, so it's Chris (or anyone else who can login there that will need to do it). -- 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