Processed: Re: libdumbnet-dev: copyright file missing after upgrade (policy 12.5)
Processing control commands:
> found -1 1.12-5
Bug #775896 {Done: Bernd Zeimetz <bzed@debian.org>} [libdumbnet-dev] libdumbnet-dev: copyright file missing after upgrade (policy 12.5)
Marked as found in versions libdumbnet/1.12-5; no longer marked as fixed in versions libdumbnet/1.12-5 and reopened.
--
775896: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=775896
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: