Hi, is there something wrong with the bugs-dist list? I have not received any mail from it today. I tried to (re)subscribe, just in case I was somehow (accidentally) unsubscribed, but there's no change. Greetings, Ulf