[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:
^List-Id:.*poke-devel.gnu.org.*
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.
Salud!
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Transition from nongnu.org to gnu.org,
Jose E. Marchesi <=