Due to some messed up DNS entries, mails to
*(_at_)informatik(_dot_)rwth-aachen(_dot_)de
cannot be delivered.
Until this has been fixed (Monday perhaps, but the stale bogus DNS
entries might still be cached by your local DNS for a longer period), use
SmartList(_at_)campino(_dot_)informatik(_dot_)rwth-aachen(_dot_)de
and procmail(_at_)campino(_dot_)informatik(_dot_)rwth-aachen(_dot_)de
to submit messages to either mailinglist.
--
Sincerely,
srb(_at_)cuci(_dot_)nl
Stephen R. van den Berg (AKA BuGless).
This is a day for firm decisions! Or is it?