[PATCH] infrun debug output: Print the random signal's enum name in debug output in addition to its number.

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> How about this version?  It goes a step forward and makes us
Pedro> consistently print the gdb_signal enum name throughout infrun
Pedro> debug output.  As explained in the commit log below, I think this
Pedro> ends up being a nice improvement.

I think so too.

Tom