Ubuntu GNOME

  1. Bug #1548425
  2. Comment #12

Comment 12 for bug 1548425

Revision history for this message
Marius Gedminas (mgedmin) wrote :

Here's a patch that ought to fix this.