[Apt-listbugs-commits] [apt-listbugs] 01/02: update man page about default Pin-Priority

Francesco Poli frx-guest at moszumanska.debian.org
Thu Jul 30 21:00:15 UTC 2015


This is an automated email from the git hooks/post-receive script.

frx-guest pushed a commit to branch master
in repository apt-listbugs.

commit a3cfbbe66a4afe7bad82dc7686c71a86a64b503a
Author: Francesco Poli (wintermute) <invernomuto at paranoici.org>
Date:   Thu Jul 30 22:48:21 2015 +0200

    update man page about default Pin-Priority
---
 bin/apt-listbugs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/apt-listbugs b/bin/apt-listbugs
index 4c5628f..ae8f558 100755
--- a/bin/apt-listbugs
+++ b/bin/apt-listbugs
@@ -115,7 +115,7 @@ apt-listbugs [-h] [-v] [-s <severities>] [-T <tags>] [-S <states>] [-B <bug#>] [
 
 * -P <priority>, --pin-priority <priority>
 
-  Specifies Pin-Priority value [1000].
+  Specifies Pin-Priority value [30000].
 
 * -E <title>, --title <title>
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/apt-listbugs/apt-listbugs.git



More information about the Apt-listbugs-commits mailing list