The GMP mailing lists will be unavalable from around 1200 UTC tomorrow 2007-02-16. I am unsure when they will be back online again, but hopefully that'll happen within a week. -- Torbjörn