]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Synchronized with patch 10 from Manojs tree
authorManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 07:55:59 +0000 (07:55 +0000)
committerManoj Srivastava <srivasta@debian.org>
Thu, 16 Jun 2005 07:55:59 +0000 (07:55 +0000)
Synchronized with patch 10 from Manojs tree

Patches applied:

 * srivasta@debian.org--etch/debian-policy--devel--3.0--patch-10
   Changed priority to optional. There is no reason this should be extra

git-archimport-id: debian-policy@lists.debian.org--etch/debian-policy--devel--3.0--patch-10

debian/control

index 51eba2268bc347e47337ddc5785b0f3bd11a139f..0a5125fe389cd99edf87b7e03ccc7b303fb8aa30 100644 (file)
@@ -1,6 +1,6 @@
 Source: debian-policy
 Section: doc
-Priority: extra
+Priority: optional
 Maintainer: Debian Policy List <debian-policy@lists.debian.org>
 Standards-Version: ${debian-policy:Version}