Processed: Re: Bug#510161: apt_preferences vs. sources.list

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

Processing commands for control@bugs.debian.org:

> package apt
Ignoring bugs not assigned to: apt

> retitle 510161 [doc] no priority "1" is mentioned in apt_preferences(5)
Bug#510161: apt_preferences vs. sources.list
Changed Bug title to `[doc] no priority "1" is mentioned in apt_preferences(5)' from `apt_preferences vs. sources.list'.

> severity 510161 minor
Bug#510161: [doc] no priority "1" is mentioned in apt_preferences(5)
Severity set to `minor' from `wishlist'

> tags 510161 +confirmed
Bug#510161: [doc] no priority "1" is mentioned in apt_preferences(5)
There were no tags set.
Tags added: confirmed

> thanks
Stopping processing here.

Please contact me if you need assistance.

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