Am Dienstag, 9. Juni 2015, 09:29:33 schrieb Mathias Homann: > over the years I have learned to avoid the inode.at mirror completely, > it is just too unreliable a lot of the time. Maybe we should get rid of > it completely... Hm? I never had problems with it... Kind Regards, Wolfgang