A few minutes ago, I wrote:

> See apt_proferences(5) for more ways to use this "pinning" feature.

Should be "apt_preferences", of course.

Reply via email to