]> git.saurik.com Git - apt.git/commitdiff
apt_preferences(5): Correct default pin assignment documentation
authorJulian Andres Klode <jak@debian.org>
Fri, 14 Aug 2015 15:22:30 +0000 (17:22 +0200)
committerJulian Andres Klode <jak@debian.org>
Fri, 14 Aug 2015 15:22:30 +0000 (17:22 +0200)
This was broken, as higher pins were also assigned to versions
that are installed.

Closes: #623706

No differences found