Better describe a mutex.

diff --git a/include/deal.II/base/subscriptor.h b/include/deal.II/base/subscriptor.h
index 1930ab26228a7648e87e34a02d5d468881acf25d..776afcfa1e84991703ec18fbe75256846ad3ed65 100644 (file)
--- a/include/deal.II/base/subscriptor.h
+++ b/include/deal.II/base/subscriptor.h
@@ -265,8 +265,9 @@ private:
   check_no_subscribers() const noexcept;
 
   /**
-   * A mutex used to ensure data consistency when printing out the list
-   * of subscribers.
+   * A mutex used to ensure data consistency when accessing the `mutable`
+   * members of this class. This lock is used in the subscribe() and
+   * unsubscribe() functions, as well as in `list_subscribers()`.
    */
   static std::mutex mutex;
 };