--- a/NEWS Mon Oct 30 19:29:06 2017 +0000
+++ b/NEWS Tue Oct 31 07:11:03 2017 +0000
@@ -66,6 +66,8 @@
* Class linordered_semiring_1 covers zero_less_one also, ruling out
pathologic instances. Minor INCOMPATIBILITY.
+* Removed nat-int transfer machinery. Rare INCOMPATIBILITY.
+
*** System ***