Tails-dev has been successfully migrated to torproject.org servers. If you are reading this, everything is fine. The new address is tails-dev@lists.torproject.org The old list will be shut down soon. cheers, -- boyska