; * etc/NEWS: Fix typos.

This commit is contained in:
Michael Albinus 2023-03-07 18:50:44 +01:00
parent 3c1693d08b
commit bfe62b1041

View file

@ -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