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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org