Bug#709499: Documentation is non free

2013-05-26 Thread Lorenzo Bettini
Oh, this modification is already in the git repository On 05/24/2013 05:36 PM, Bastien ROUCARIÈS wrote: > Le vendredi 24 mai 2013 10:56:22, Lorenzo Bettini a écrit : >> On 05/23/2013 06:07 PM, Bastien ROUCARIÈS wrote: >>> Package: source-highlight >>> Severity: serious >>> user: debian...@lists.de

Bug#709499: Documentation is non free

2013-05-24 Thread Bastien ROUCARIÈS
Le vendredi 24 mai 2013 10:56:22, Lorenzo Bettini a écrit : > On 05/23/2013 06:07 PM, Bastien ROUCARIÈS wrote: > > Package: source-highlight > > Severity: serious > > user: debian...@lists.debian.org > > usertags: gfdl-invariant > > severity: serious > > > > The documentation of your package is no

Bug#709499: Documentation is non free

2013-05-24 Thread Lorenzo Bettini
On 05/23/2013 06:07 PM, Bastien ROUCARIÈS wrote: > Package: source-highlight > Severity: serious > user: debian...@lists.debian.org > usertags: gfdl-invariant > severity: serious > > The documentation of your package is non free under gfdl with invariants > sections. > > Please ask upstream abou

Bug#709499: Documentation is non free

2013-05-23 Thread Bastien ROUCARIÈS
Package: source-highlight Severity: serious user: debian...@lists.debian.org usertags: gfdl-invariant severity: serious The documentation of your package is non free under gfdl with invariants sections. Please ask upstream about relicense, remove or repackage -- To UNSUBSCRIBE, email to debia