[Pkg-gnupg-maint] Processed: tagging 704645, user release.debian.org at packages.debian.org, usertagging 704645

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 704645 + wheezy-ignore
Bug #704645 [gnupg] gpg --verify suggests entire file was verified, even if file contains auxiliary data
Added tag(s) wheezy-ignore.
> user release.debian.org at packages.debian.org
Setting user to release.debian.org at packages.debian.org (was jcristau at debian.org).
> usertags 704645 + wheezy-can-defer
There were no usertags set.
Usertags are now: wheezy-can-defer.
> thanks
Stopping processing here.

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