Re: [RFA 2/2] PR cli/19551 - change formatting of "Reading symbols" messages

[Simon Marchi <simon dot marchi at polymtl dot ca>]

On 2017-04-27 19:16, Tom Tromey wrote:
> > > > > > "Simon" == Simon Marchi <simon.marchi@polymtl.ca> writes:
>
> Simon> However, I think that feature would deserve a patch of its own
> Simon> with a more expressive title.  I am sure many people will be
> Simon> interested, but like this it's hidden under some obscure bug 
> fix.
>
> I imagine most users don't read the history but rather would notice 
> when
> gdb's behavior changes.

I was mostly thinking about people subscribed to this list.  Given the 
rather high volume, I assume that most people just read the titles and 
dig further if they are interested.  A feature such as this one would be 
of interest to many, I'm sure.