Stuff about core-dump reinstate-ment in the manual and release notes.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5193 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/NEWS b/NEWS
index 2aa6963..f761480 100644
--- a/NEWS
+++ b/NEWS
@@ -59,6 +59,13 @@
 - The XML output format has changed slightly.  See
   docs/internals/xml-output.txt.
 
+- Core dumping has been reinstated (it was disabled in 3.0.0 and 3.0.1).
+  If your program crashes while running under Valgrind, a core file with
+  the name "vgcore.<pid>" will be created (if your settings allow core
+  file creation).  Note that the floating point information is not all
+  there.  If Valgrind itself crashes, the OS will create a normal core
+  file.
+
 The following are some user-visible changes that occurred in earlier
 versions that may not have been announced, or were announced but not
 widely noticed.  So we're mentioning them now.