Document that the mutex module is now gone.

diff --git a/Misc/NEWS b/Misc/NEWS
index 4cf93533ab871920ba1695844f8ad27851f71000..24a63ec8ee997a75e8ce50dca00e464b485cd28d 100644 (file)
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -20,6 +20,8 @@ Library
 
 - The user module has been removed.
 
+- The mutex module has been removed.
+
 - The imputil module has been removed.
 
 Build