diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-10 23:43:02 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-10 23:43:02 -0500 |
| commit | 7779136ce9121c5de15f4e4d454556762cc2e8c7 (patch) | |
| tree | 8a07a48ec6eb9343663bc44b46abf19b1d58b592 /NEWS | |
| parent | b1dc477acf7eab8e40705ad20f910be91782cd02 (diff) | |
Update NEWS.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 ================= |