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

[Ansgar Burchardt <ansgar@43-1.org>]

package apt
retitle 352667 apt: "Pin: origin" undocumented in apt_preferences(5)
thanks

Hi,

the documentation on the "Pin: origin" parameter is unusable: the only
information available is the effect of

  Pin: origin ""

I assume that there are other uses of this parameter (there should be
some reason for the "" after all).

Regards,
Ansgar