Issue tracker links pointing to Github's
commit87faab8c881210d0d782427f504c2ab7611c82d8
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 28 Apr 2013 13:07:55 +0000 (28 15:07 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sun, 28 Apr 2013 13:07:55 +0000 (28 15:07 +0200)
tree82b5fac5299136802a70b4bef7c5a3c0c51b60b5
parent69761d95c7142551efae87ebae1be8afcbe9d176
Issue tracker links pointing to Github's

Almost all contributions have come this way, and it's a hassle having
two of them.
doc/thanks.texi
doc/web.texi