NEWS
changeset 59139 e557a9ddee5f
parent 59112 e670969f34df
child 59175 bf465f335e85
--- a/NEWS	Fri Dec 12 14:30:33 2014 +0100
+++ b/NEWS	Fri Dec 12 14:31:57 2014 +0100
@@ -235,6 +235,9 @@
 * Renamed "pairself" to "apply2", in accordance to @{apply 2}.
 INCOMPATIBILITY.
 
+* Synchronized.value (ML) is actually synchronized (as in Scala):
+subtle change of semantics with minimal potential for INCOMPATIBILITY.
+
 
 *** System ***