diff options
Diffstat (limited to 'docs/users_guide/7.12.1-notes.rst')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/7.12.1-notes.rst index bd4f78bcaa..10ed77eaf3 100644 --- a/docs/users_guide/7.12.1-notes.rst +++ b/docs/users_guide/7.12.1-notes.rst @@ -175,7 +175,7 @@ Template Haskell Runtime system ~~~~~~~~~~~~~~ -- TODO FIXME. +- Support for performance monitoring with PAPI has been dropped. Build system ~~~~~~~~~~~~ |