Re: Add fullname field in disassembly output

Tom Tromey
2012-11-08T21:30:58Z

Andrew> Just so I'm clear, should I consider this a block to committing
Andrew> this patch?

Pedro> No.

I didn't see this go in yet, but based on reading the thread, I think
everything has been approved (docs conditional on some minor tweaks).
Just FYI.

Tom