Remi, the PPA that was posted above worked until it was superseded by a security update. It's disingenuous to say this would force the Gnome guys away from upstream when this is a small patch against a released version. The 9.10 branch is going to be limited to maintenance patches until it's end-of-lifed not too long from now.
It's an ugly workaround, but if Ubuntu can't tolerate the occasional ugly workaround for the sake of users, it's time to mark bug #1 as "WONTFIX".
Remi, the PPA that was posted above worked until it was superseded by a security update. It's disingenuous to say this would force the Gnome guys away from upstream when this is a small patch against a released version. The 9.10 branch is going to be limited to maintenance patches until it's end-of-lifed not too long from now.
It's an ugly workaround, but if Ubuntu can't tolerate the occasional ugly workaround for the sake of users, it's time to mark bug #1 as "WONTFIX".