From bfe62b104133d321df8c266c86a78d612a9a9534 Mon Sep 17 00:00:00 2001 From: Michael Albinus Date: Tue, 7 Mar 2023 18:50:44 +0100 Subject: [PATCH] ; * etc/NEWS: Fix typos. --- etc/NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/NEWS b/etc/NEWS index 5e1a1c4e344..01ab4b8a1db 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -2091,7 +2091,7 @@ completion, and adds the Emoji into the search string. *** New user option 'gdb-debuginfod-enable-setting'. On capable platforms, GDB 10.1 and later can download missing source and debug info files from special-purpose servers, called "debuginfod -servers". Use this new option to control whether "M-x gdb" instructs +servers". Use this new option to control whether 'M-x gdb' instructs GDB to download missing files from debuginfod servers when you debug the corresponding programs. The default is to ask you at the beginning of each debugging session whether to download the files for -- 2.39.2