Processed: Bug#352667: apt: "Pin: origin" undocumented in apt_preferences(5)

[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'

> retitle 352667 apt: "Pin: origin" undocumented in apt_preferences(5)
Bug #352667 [apt] apt: apt_preferences(5) should document referring to sources by FQDN in an example
Changed Bug title to 'apt: "Pin: origin" undocumented in apt_preferences(5)' from 'apt: apt_preferences(5) should document referring to sources by FQDN in an example'
> thanks
Stopping processing here.

Please contact me if you need assistance.

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