Processed: Re: doc-debian: The OPL-licensed documents taken from Debian website are non-free

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> block 614497 by 388141 238245
Bug #614497 [doc-debian] doc-debian: The OPL-licensed documents taken from Debian website are non-free
Was not blocked by any bugs.
Added blocking bug(s) of 614497: 388141 and 238245
> found 614497 doc-debian/4.0.2
Bug #614497 [doc-debian] doc-debian: The OPL-licensed documents taken from Debian website are non-free
The source doc-debian and version 4.0.2 do not appear to match any binary packages
Bug Marked as found in versions doc-debian/4.0.2.
> thanks
Stopping processing here.

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