summaryrefslogtreecommitdiffstats
path: root/NEWS
diff options
context:
space:
mode:
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS2
1 files changed, 2 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 3306ddfc..27041d19 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,5 @@
+Version 12.5 - 19 March 2009, Thierry Vignaud
+
- fix a rare crash when embedded program segfaulted (#48080)
Version 12.4 - 16 March 2009, Thierry Vignaud