Note that save format has been bumped.

diff --git a/NEWS b/NEWS
index f9b6c3e5352de07d4bf259f22a799053ef52eede..ef3b99612c8968efb3fe65d37d45c8cf7945d3ec 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -2,6 +2,7 @@
 
 Repository head::
   Minor typo and capitalization glitches in user-visible text fixed and documented.
+  Save format has changed.
 
 1.7: 2018-12-03::
   Python 3 and OS X port fixes.