Processed: Re: Bug#793556: jessie-pu: package mkvmlinuz/37+deb8u1
Processing control commands:
> tags -1 -moreinfo +confirmed
Bug #793556 [release.debian.org] jessie-pu: package mkvmlinuz/37+deb8u1
Ignoring request to alter tags of bug #793556 to the same tags previously set
Bug #793556 [release.debian.org] jessie-pu: package mkvmlinuz/37+deb8u1
Added tag(s) confirmed.
--
793556: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793556
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: