We've upgraded the server that runs the email list. If you have any problems please email root@rtlinux.org.