Subject: bug#13445: add2rline usage in manual

From: Glenn Morris <[email-masked]>
Date: Sat, 19 Jan 2013 17:34:44 -0500

Paul Eggert wrote:

> With newer addr2line, -p is helpful because function names
> aren't printed without it.  In trunk bzr 111564..5 I pushed the
> following, to suggest -p if available and to say what to do with
> older addr2line implementations.

This doesn't really make sense, given the changes I had already made.
(See the footnote.)