Re: [PATCH v2] Add gdb.Value.format_string ()

Eli Zaretskii
2019-03-18T17:49:55Z

> Date: Mon, 18 Mar 2019 09:34:41 -0700
> From: Kevin Buettner <kevinb@redhat.com>
> Cc: Marco Barisione <mbarisione@undo.io>, Eli Zaretskii <eliz@gnu.org>, Tom Tromey <tom@tromey.com>
>
> Eli needs to approve your additions to gdb/doc/python.texi.

Sorry, I missed that because it was in an attachment. Reviewed now.