diff --git a/NEWS.md b/NEWS.md
index c6c110a1a77f0..cb856855a3b3f 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -60,6 +60,10 @@ Language changes
   * The syntax `1.+2` is deprecated, since it is ambiguous: it could mean either
     `1 .+ 2` (the current meaning) or `1. + 2` ([#19089]).
 
+  * Mutable structs with no fields are no longer singletons; it is now possible to make
+    multiple instances of them that can be distinguished by `===` ([#25854]).
+    Zero-size immutable structs are still singletons.
+
   * In string and character literals, backslash `\` may no longer
     precede unrecognized escape characters ([#22800]).
 
diff --git a/doc/src/manual/types.md b/doc/src/manual/types.md
index 81cb5a7ef5217..e30405b255998 100644
--- a/doc/src/manual/types.md
+++ b/doc/src/manual/types.md
@@ -387,7 +387,7 @@ to point to different objects.
 Where required, mutable composite objects can be declared with the keyword `mutable struct`, to be
 discussed in the next section.
 
-Composite types with no fields are singletons; there can be only one instance of such types:
+Immutable composite types with no fields are singletons; there can be only one instance of such types:
 
 ```jldoctest
 julia> struct NoFields