On Jul 27 13:57, Jon Turney wrote:
> Convert gmondump and profiler synposes to <cmdsynposis>, since
> addition of these crossed with e6b667f1.

+1


Thanks,
Corinna

Reply via email to