Bug#446271: jed-extra: use jed_append_doc_file

Rafael Laboissiere rafael at debian.org
Thu Oct 18 17:37:18 UTC 2007


* G. Milde <g.milde at quantentunnel.de> [2007-10-18 18:10]:

> On 18.10.07, Rafael Laboissiere wrote:
> > Sorry, I thought this was not a bug in jed-extra 2.4.2-1.
> 
> It is no real bug IMO, so we could change it to a feature request -- but is
> it worth the effort when it will be closed with the next release anyway?

Okay, let us close it when the new upstream release comes out.

-- 
Rafael





More information about the Pkg-jed-devel mailing list