[Bug 56458] Re: devhelp gedit plugin not properly installed

[Sebastien Bacher]

Thanks for your bug. This upload fixes the issue:

 devhelp (0.12-0ubuntu4) edgy; urgency=low
 .
   * debian/devhelp.install:
     - install the .gedit-plugin too (Ubuntu: #56458)

** Changed in: devhelp (Ubuntu)
   Importance: Untriaged => Low
     Assignee: (unassigned) => Ubuntu Desktop Bugs
       Status: Unconfirmed => Fix Released

-- 
devhelp gedit plugin not properly installed
https://launchpad.net/bugs/56458