Processed: Re: Bug#596097: apt: Please support setting a pin of 100 from within an archive (NotAutomaticButUpdates)

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> package apt
Limiting to bugs with field 'package' containing at least one of 'apt'
Limit currently set to 'package':'apt'

> merge 596097 186767
Bug#186767: apt: Release files should have a default pin-priority
Bug#596097: apt: Please support setting a pin of 100 from within an archive (NotAutomaticButUpdates)
Merged 186767 596097.

> thanks
Stopping processing here.

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