Processed: Re: Bug#509541: apt: apt_preferences(5) default priority assignments confusing

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

Processing commands for control@bugs.debian.org:

> package apt
Ignoring bugs not assigned to: apt

> tags 509541 +confirmed
Bug#509541: apt: apt_preferences(5) default priority assignments confusing
There were no tags set.
Tags added: confirmed

> severity 509541 minor
Bug#509541: apt: apt_preferences(5) default priority assignments confusing
Severity set to `minor' from `normal'

> retitle 509541 [doc] apt_preferences(5) default priority assignments confusing
Bug#509541: apt: apt_preferences(5) default priority assignments confusing
Changed Bug title to `[doc] apt_preferences(5) default priority assignments confusing' from `apt: apt_preferences(5) default priority assignments confusing'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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