Improve a suggested replacement.

What we have is basically std::thread so we should recommend that as the
replacement.

diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h
index f6a73197aebbc2d5d5c26cfa7e50cbc69b481fdc..64f2722c831f77444d93a766ea6eefc450bcd0ad 100644 (file)
--- a/include/deal.II/base/thread_management.h
+++ b/include/deal.II/base/thread_management.h
@@ -570,7 +570,7 @@ namespace Threads
    *
    * @ingroup threads
    *
-   * @deprecated Use Task instead.
+   * @deprecated Use std::thread or std::jthread instead.
    *
    * @note Since this class is used in ThreadGroup, its constructors, rather
    * than the class itself, are deprecated to allow compilation with