[pkg-gnupg-maint] Processed (with 1 error): Re: Bug#801247: followup on pinentry-gnome3 and dbus [was: Grave bug]
Debian Bug Tracking System
owner at bugs.debian.org
Tue Oct 11 19:27:05 UTC 2016
Processing control commands:
> severity 801247 important
Bug #801247 [pinentry-gnome3] pinentry-gnome3: No PIN dialog
Ignoring request to change severity of Bug 801247 to the same value.
> forcemerge 801247 795368
Bug #801247 [pinentry-gnome3] pinentry-gnome3: No PIN dialog
Unable to merge bugs because:
package of #795368 is 'gnupg-agent' not 'pinentry-gnome3'
Failed to forcibly merge 801247: Did not alter merged bugs.
--
795368: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=795368
801247: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801247
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the pkg-gnupg-maint
mailing list