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

Eli Zaretskii
2019-03-19T06:48:50Z

> From: Marco Barisione <mbarisione@undo.io>
> Date: Mon, 18 Mar 2019 21:49:08 +0000
> Cc: Kevin Buettner <kevinb@redhat.com>,
> gdb-patches@sourceware.org,
> tom@tromey.com
>
> On 18 Mar 2019, at 20:00, Eli Zaretskii <eliz@gnu.org> wrote:
> >> From: Marco Barisione <mbarisione@undo.io>
> >> Date: Mon, 18 Mar 2019 18:14:35 +0000
> >> Cc: gdb-patches@sourceware.org,
> >> Eli Zaretskii <eliz@gnu.org>,
> >> Tom Tromey <tom@tromey.com>
> >>
> >> +when using the @code{format_string()} method or the @code{str()}
> > ^^^^^^^^^^^^^^^ ^^^^^
> > This part is still not fixed.
>
> Sorry, I missed it as I was looking for a space before the “(â€.
>
> Here’s an updated patch.

This version is fine with me, thanks.