* doc/misc/newsticker.texi (Overview): Update URL.
authorGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:55:25 +0000 (18:55 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:55:25 +0000 (18:55 -0700)
commit9d7a25d6eedafc33ad3d564a549810be5b04eab0
treeb525f3015b9a55cc106a4973febe34387039c2dd
parent583873a92efb6d46276dfa74814aa81e510e5cac
* doc/misc/newsticker.texi (Overview): Update URL.
doc/misc/ChangeLog
doc/misc/newsticker.texi