[pkg-gnupg-maint] Processed: Re: Bug#845803: src:gpgme1.0: please consider reducing priority of -dev packages

[Debian Bug Tracking System]

Processing control commands:

> tags 845803 + confirmed
Bug #845803 [src:gpgme1.0] src:gpgme1.0: please consider reducing priority of -dev packages
Added tag(s) confirmed.

-- 
845803: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=845803
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems