Branden Robinson writes: > > If I'm wrong, fine. Matthias sent me a mail that said this problem should > be fixed with today's dinstall run. I said, that I uploaded new packages. But with new package names ... Let's see when they arrive in testing.