Ubuntu

Comment 29 for bug 727594

The freezes have not occurred for several days now so I would consider them fixed. The patch has not made other problems worse.