savannah patches should mirror to list

[Eric Blake]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I just noticed this submission today:
https://savannah.gnu.org/patch/?5946

although it has been posted since May.

We ought to mirror savannah traffic to the Patches pages to the list, or
else disable the patches page the way the bugs page has been disabled (the
support page already mirrors to the list).  I don't have enough savannah
rights to do this, or it would already be done.

- --
Don't work too hard, make some time for fun as well!

Eric Blake             address@hidden
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Cygwin)
Comment: Public key at home.comcast.net/~ericblake/eblake.gpg
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGzJHw84KuGfSFAYARAh1fAJ4mGZVQUxwgTNUqh+S6W9wbWdnZSwCfQQzn
ihySUgVqlS9qigSdM2hrDRU=
=bzgz
-----END PGP SIGNATURE-----