From 7779136ce9121c5de15f4e4d454556762cc2e8c7 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 10 Dec 2013 23:43:02 -0500
Subject: [PATCH] Update NEWS.

---
 NEWS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index e7c502015..46f5deee2 100644
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,7 @@ This file contains a summary of important user-visible changes.
 Changes since 1.3
 =================
 
-* none yet
+* Timed statistics are now properly updated even on process abort.
 
 Changes since 1.2
 =================
-- 
2.30.2