Fix minor grammar issue in python.texi
authorTom Tromey <tromey@adacore.com>
Thu, 23 Mar 2023 16:46:31 +0000 (10:46 -0600)
committerTom Tromey <tromey@adacore.com>
Thu, 23 Mar 2023 16:47:15 +0000 (10:47 -0600)
commit12d290fbbf0d09da15b4e727883ba54f7dcc297f
tree6a0a877f4ea393330dbcc001fbd77e86d414b9ce
parent80251d4185048c6391b74abe96c754e8a536b35f
Fix minor grammar issue in python.texi

I noticed a minor grammar problem in the 'GDB/MI Commands In Python'
node of the manual.  I'm checking in this patch to correct it.
gdb/doc/python.texi