diff -r 113cee845044 -r 3e3097ac37d1 NEWS
--- a/NEWS	Thu Jul 28 20:39:51 2016 +0200
+++ b/NEWS	Fri Jul 29 08:22:59 2016 +0200
@@ -433,8 +433,12 @@
 linordered_cancel_ab_semigroup_add, and ordered_ab_semigroup_monoid_add_imp_le.
 INCOMPATIBILITY.
 
-* There are some new simplification rules about multisets and the multiset
-ordering.
+* There are some new simplification rules about multisets, the multiset
+ordering, and the subset ordering on multisets.
+INCOMPATIBILITY.
+
+* The subset ordering on multisets has now the interpretation
+ordered_ab_semigroup_monoid_add_imp_le.
 INCOMPATIBILITY.
 
 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.