1 files changed, 3 insertions, 1 deletions
diff --git a/etc/NEWS b/etc/NEWS
index 42c639ef25b..26707315da6 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -804,7 +804,9 @@ table, but with a different prefix.
 *** New error type and new function `user-error'.
 These do not trigger the debugger.
-*** New option `debugger-bury-or-kill'.
+++
+*** New option `debugger-bury-or-kill', saying what to do with the
+debugger buffer when exiting debug.
 +++
 *** Set `debug-on-message' to enter the debugger when a certain

diff --git a/etc/NEWS b/etc/NEWS index 42c639ef25b..26707315da6 100644 --- a/etc/NEWS +++ b/etc/NEWS
@@ -804,7 +804,9 @@ table, but with a different prefix.
804	*** New error type and new function `user-error'.	804	*** New error type and new function `user-error'.
805	These do not trigger the debugger.	805	These do not trigger the debugger.
806		806
807	*** New option `debugger-bury-or-kill'.	807	+++
		808	*** New option `debugger-bury-or-kill', saying what to do with the
		809	debugger buffer when exiting debug.
808		810
809	+++	811	+++
810	*** Set `debug-on-message' to enter the debugger when a certain	812	*** Set `debug-on-message' to enter the debugger when a certain