On Thu, Aug 10, 2017 at 7:48 PM, Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote: > From: Randy Dunlap <rdunlap@xxxxxxxxxxxxx> > > gmane.org was shut down for awhile, then bought by someone else, > and is now being rebuilt. Links to it are not reliable for now, > so add a link to marc.info for the same email message. > > Signed-off-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx> > --- > Documentation/sparse.txt | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > v2: drop gmane.org link. Looks good to me. 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
