Re: [PATCH] MI: new timing command

Nick Roberts
2007-01-01T04:18:17Z

> > + Toggle the printing of the wallclock, user and system times for an MI
> > + command as a field in its output.