Fix typo in info page
authorNikolaos Chatzikonstantinou <nchatz314@gmail.com>
Sun, 15 May 2022 12:39:42 +0000 (21:39 +0900)
committerTom Tromey <tromey@adacore.com>
Tue, 17 May 2022 15:00:05 +0000 (09:00 -0600)
commite84412c6a3c3eed1a4eca5fe18f329bfa7efea40
treed35c2600a1157cb94c387d6ca1ba39b82675f743
parenta1f2ddd38378c8db63e75daa28b7e304c2fd774f
Fix typo in info page
gdb/doc/gdb.texinfo