announce-gen: use a better key-server host name
authorJim Meyering <meyering@redhat.com>
Mon, 2 Jun 2008 09:32:02 +0000 (11:32 +0200)
committerJim Meyering <meyering@redhat.com>
Mon, 2 Jun 2008 09:32:43 +0000 (11:32 +0200)
commit3825e896292608b8d225a2ea10e54c45a6867c0b
tree1704dfcf889e2f9357b541f07dfc3a9058eb1c8e
parent97e2ac556c21ecd6e7e2b997b1beb5e3c31dd8fe
announce-gen: use a better key-server host name

* build-aux/announce-gen (main): Recommend keys.gnupg.net, since
it may be more consistently reliable.  Suggested by Werner Koch
in <http://thread.gmane.org/gmane.comp.lib.gnulib.bugs/13717>.
ChangeLog
build-aux/announce-gen