Processed: Re: lintian: package-contains-documentation-outside-usr-share-doc still false positives

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> found 907734 2.5.101
Bug #907734 {Done: Chris Lamb <lamby@debian.org>} [lintian] package-contains-documentation-outside-usr-share-doc false positive
Marked as found in versions lintian/2.5.101; no longer marked as fixed in versions lintian/2.5.101 and reopened.
> forcemerge 908442 907734
Bug #908442 [lintian] lintian: package-contains-documentation-outside-usr-share-doc still false positives
Bug #908442 [lintian] lintian: package-contains-documentation-outside-usr-share-doc still false positives
Marked as found in versions lintian/2.5.99.
Bug #907734 [lintian] package-contains-documentation-outside-usr-share-doc false positive
Merged 907734 908442
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
907734: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907734
908442: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908442
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems