Mailing list moved!

[Simon Josefsson]

Hi!  If everything works, this will be the first message posted through
the new mailing list address address@hidden

The old mailing list address@hidden is no longer used, but
messages to that address will be forwarded to the new list.  Everyone
who was subscribed to the old list should be subscribed to the new list.

This change allows address@hidden to be sent directly to the
gnutls-devel list, fixes archiving of PGP/MIME signed messages, makes
sure that non-subscribed people can post to the list, and possibly fixes
other issues that I don't recall now as well.

/Simon