On 02/25/2018 11:14 AM, Christopher Li wrote: > On Fri, Feb 23, 2018 at 10:13 AM, Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote: >> (a) I would prefer to see more "released versions" >> (see https://sparse.wiki.kernel.org/index.php/Main_Page and >> https://www.kernel.org/pub/software/devel/sparse/dist/) > > I have upload the sparse-0.5.1.tar.gz into > https://www.kernel.org/pub/software/devel/sparse/dist/ Yes, that one is there. Thanks. > I also update the wiki for the release page of 0.5.1 > https://sparse.wiki.kernel.org/index.php/Sparse_0.5.1_released > > The main page haven't pick up the news yet. May be it > take a while for the news category to be indexed. The wiki page still has not been updated. I wonder what is going on with it. -- ~Randy -- 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
