documentation: update email reference link
commit08c90b01cf00e6c18d1e69cd473f7e097a2231a7
authorRandy Dunlap <rdunlap@infradead.org>
Thu, 10 Aug 2017 23:48:26 +0000 (10 16:48 -0700)
committerChristopher Li <sparse@chrisli.org>
Fri, 11 Aug 2017 02:46:47 +0000 (10 22:46 -0400)
treee4abd3afad6e904105c17fed292ac23a4166a98d
parent52ac17499e48060503d1be0c495d74d7ca6ca73f
documentation: update email reference link

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@infradead.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Documentation/sparse.txt