> I tend to close this bug ... any objections from other participants > here?
I'd keep it open, as it is not clear where the problem comes from and it was observed on two independent systems. Maybe someone can figure it out before the official release. Johannes
