I have #352554 against udev with the same symptom. Do you know if 30217 was the pid of gnump3d before the upgrade? Is this reproducible?
Thanks Justin -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]