diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-20 18:09:56 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-20 18:09:56 +0100 |
| commit | 0a607c5c7bab130bfff70efd344bff78ce2bf88a (patch) | |
| tree | 47526859a534eb07eba08b6b526cda7795c8c9b5 /open_issues | |
| parent | ae16fea583613b94785c262b764a1b68cf722ded (diff) | |
Fix page tagging.
Diffstat (limited to 'open_issues')
| -rw-r--r-- | open_issues/libpthread/t/fix_have_kernel_resources.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/open_issues/libpthread/t/fix_have_kernel_resources.mdwn b/open_issues/libpthread/t/fix_have_kernel_resources.mdwn index 37231c66..10577c1e 100644 --- a/open_issues/libpthread/t/fix_have_kernel_resources.mdwn +++ b/open_issues/libpthread/t/fix_have_kernel_resources.mdwn @@ -8,7 +8,7 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] -[[!tag open_issue_libphread]] +[[!tag open_issue_libpthread]] `t/have_kernel_resources` |