Ubuntu
gedit-plugins package

  1. Bug #857099
  2. Comment #3

Comment 3 for bug 857099

Revision history for this message
jpfle (jpfle) wrote :

I marked the current report as a duplicate of bug 857348, even if 857348 is more recent, because there are more details there.