Ubuntu
jed-extra package

  1. Bug #882208
  2. Comment #10

Comment 10 for bug 882208

Revision history for this message
Hein Gustavsen (hein-gustavsen) wrote :

This still happens for every fresh installation of Ubuntu 12.04 LTS I do and installing package from http://packages.debian.org/wheezy/jed-extra still works fine.