[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