Processed: Re: Bug#239247: apt seems to pin all versions indiscriminately

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

Processing commands for control@bugs.debian.org:

> severity 239247 wishlist
Bug#239247: apt seems to pin all versions indiscriminately
Severity set to `wishlist'.

> merge 239247 216688
Bug#216688: apt/preferences: pinning package to non-automatic priority does not appear to work
Bug#239247: apt seems to pin all versions indiscriminately
Merged 216688 239247.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)