I don't receive ding mails anymore

[Tassilo Horn <tsdh@gnu.org>]

Hi all,

some weeks ago I've unsubscribed from ding with my old email address and
subscribed again using the address above.  Since then, I don't receive
any ding mails anymore (but I can post by sending email to the list
address).

I tried sending another subscription request mail but then I don't get a
response anymore, probably because I'm already subscribed.

Does anyone have access to the mailing list configuration and can check
if something's wrong?  Maybe I'm subscribed with "no mail delivery"
option set or so...

Just to exclude an error on my side: the address above is actually
redirected to some other address using procmail.  My ~/.procmailrc on
the GNU server just has this single entry:

--8<---------------cut here---------------start------------->8---
:0
* .*
! other@email.address
--8<---------------cut here---------------end--------------->8---

That should redirect everything to the other address, right?  (At least
it seems to work just fine for all other mails I receive via that
address.)

Bye,
Tassilo