resolve merge issue.

diff --git a/NEWS b/NEWS
index 908d58b7daaeb1d9ba751ccc9da8beba337e02e0..46f5deee269317b547084ca905037d10d58d0a34 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,10 @@
 This file contains a summary of important user-visible changes.
 
+Changes since 1.3
+=================
+
+* Timed statistics are now properly updated even on process abort.
+
 Changes since 1.2
 =================