diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:22:30 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:22:30 +0200 |
| commit | 1bdfd2c9de1126522fee08007908a05af32ee8b1 (patch) | |
| tree | 2d129beef59325951cd70578d92a7b4a79c39a46 /cmdline | |
| parent | 5fba9462b635c95d2cb329a388d469bd50889974 (diff) | |
apt_preferences(5): Correct default pin assignment documentation
This was broken, as higher pins were also assigned to versions
that are installed.
Closes: #623706
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions