the issue has been fixed since
** Changed in: ledit (Ubuntu)
Importance: Undecided = Low
** Changed in: ledit (Ubuntu)
Status: New = Fix Released
--
No-change rebuild to refresh the dependency on camlp5
https://bugs.launchpad.net/bugs/590338
You received this bug notification because
** Patch added: ledit.debdiff
http://launchpadlibrarian.net/49758679/ledit.debdiff
--
No-change rebuild to refresh the dependency on camlp5
https://bugs.launchpad.net/bugs/590338
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--