Re: [RFA, doc RFA] Include wallclock time in "maint time" output.

Eli Zaretskii
2011-11-04T09:01:29Z

> Date: Thu, 3 Nov 2011 16:17:08 -0700
> From: Doug Evans <dje@google.com>
> Cc: gdb-patches@sourceware.org
>
> >> The part about time not being printed for commands that run the target
> >> is not true.
> >
> > The CPU time still accounts for GDB only, right? Â It sounds like we
> > interpret this sentence differently, so perhaps it should be reworded
> > rather than being deleted.
>
> You'll need to tell me how you interpret it.

The text of the patch you attached is fine with me, but I would
suggest to use "@sc{cpu}" instead of just "cpu", I think the former
looks better in print.

Thanks.