From 1bdfd2c9de1126522fee08007908a05af32ee8b1 Mon Sep 17 00:00:00 2001
From: Julian Andres Klode <jak@debian.org>
Date: Fri, 14 Aug 2015 17:22:30 +0200
Subject: apt_preferences(5): Correct default pin assignment documentation

This was broken, as higher pins were also assigned to versions
that are installed.

Closes: #623706
---
 doc/apt_preferences.5.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml
index 28b795d43..cad57f6b8 100644
--- a/doc/apt_preferences.5.xml
+++ b/doc/apt_preferences.5.xml
@@ -115,12 +115,12 @@ from archives which in their <filename>Release</filename> files are marked as "N
 
 <varlistentry>
 <term>priority 500</term>
-<listitem><simpara>to the versions that are not installed and do not belong to the target release.</simpara></listitem>
+<listitem><simpara>to the versions that do not belong to the target release.</simpara></listitem>
 </varlistentry>
 
 <varlistentry>
 <term>priority 990</term>
-<listitem><simpara>to the versions that are not installed and belong to the target release.</simpara></listitem>
+<listitem><simpara>to the versions that belong to the target release.</simpara></listitem>
 </varlistentry>
 </variablelist>
 </para>
-- 
cgit v1.2.3