Ubuntu
linux package

  1. Bug #1140716
  2. Comment #367

Comment 367 for bug 1140716

Revision history for this message
In , Andy Lutomirski (luto-mit) wrote :

The patch seems to have helped -- my box survived a couple days with the patch applied.