update git links
authorAmin Bandali <bandali@gnu.org>
Mon, 7 Jan 2019 03:32:55 +0000 (22:32 -0500)
committerAmin Bandali <bandali@gnu.org>
Mon, 7 Jan 2019 03:32:55 +0000 (22:32 -0500)

No differences found