diff options
author | Pino Toscano <toscano.pino@tiscali.it> | 2012-10-06 14:15:31 +0200 |
---|---|---|
committer | Pino Toscano <toscano.pino@tiscali.it> | 2012-10-06 14:15:31 +0200 |
commit | f72066eda4968d62020c289936792cee495fdd56 (patch) | |
tree | e2f720e207dd4ead717e78142b1b0726c2c0925c /open_issues/nice_changes_priority_of_parent_shell.mdwn | |
parent | 719c77b0156a4983918ded76e80c1f907d96a557 (diff) |
use shortcuts to link to the Debian BTS
Diffstat (limited to 'open_issues/nice_changes_priority_of_parent_shell.mdwn')
-rw-r--r-- | open_issues/nice_changes_priority_of_parent_shell.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/open_issues/nice_changes_priority_of_parent_shell.mdwn b/open_issues/nice_changes_priority_of_parent_shell.mdwn index d731ef82..a8a08f90 100644 --- a/open_issues/nice_changes_priority_of_parent_shell.mdwn +++ b/open_issues/nice_changes_priority_of_parent_shell.mdwn @@ -10,6 +10,6 @@ License|/fdl]]."]]"""]] [[!tag open_issue_gnumach open_issue_glibc]] - * <http://bugs.debian.org/44039> + * [[!debbug 44039]] * Also see [[nice_vs_mach_thread_priorities]]. |