[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Transition from nongnu.org to gnu.org

From: Jose E. Marchesi
Subject: Transition from nongnu.org to gnu.org
Date: Thu, 16 Jan 2020 22:57:27 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

Hi people!

As you can see, we are transitioning the list from the nongnu.org domain
to gnu.org.

Please update the filters and splitting rules you may have in your
MUAs.  The List-Id of the list now matches:


i.e. it uses the new domain.

I also updated the bugzilla poke-devel@ user.  Sorry about the noise
with all these messages about changing the email address of that user.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]