[PATCH 1/6] gdb/infcmd: remove the unused parameter 'args' in 'attach_post_wait'

[Tom Tromey]

>>>>> "Simon" == Simon Marchi via Gdb-patches <gdb-patches@sourceware.org> writes:

Simon> I agree with you in general, but when I do patches like this one (remove
Simon> unused parameter / variable), I also find it hard to find anything else
Simon> to say than just repeating the subject.

Yeah.  I'm fine with that for the simple patches if everybody else is.

Tom