[PATCH 13/13] Document "no debug info debugging" improvements

[Pedro Alves]

On 07/13/2017 02:54 PM, Pedro Alves wrote:

>> This worked nicely, see below.
>>
>> I'll tweak the docs, and send an updated patch.

This required reordering patches, so to avoid confusion I
just sent a v2 series instead.

Thanks,
Pedro Alves