Hi Bastien,
On Tue, May 20, 2014 at 11:33:18AM +0200, Bastien ROUCARIES wrote:
> >
> > Usually releases are on July 15th. I think that we can wait for the next
> > upload, at that time or earlier, to re-introduce the manual.
>
> Could you retest with Lintian gît. I have fixed it a week ago.
I checked with lintian from git and the false positive is not shown any
more. So I will not file an according bug report (except you might
say that the next lintian release will take some time and we should
rather notify other lintian users).
Thanks for your work on lintian
Andreas.
--
http://fam-tille.de
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/20140520115806.gk6...@an3as.eu
