Wie angekündigt, sind die Mailinglisten zu unserem neuen Provider umgezogen und auf Mailman umgestellt worden. Die Listen sind wieder voll nutzbar. Zukünftig ist damit auch ein öffentliches Mailarchiv der allgemeinen Mailingliste vorhanden.
(rw)