At Thu, 14 Nov 2013 13:56:30 +0100,
Svante Signell wrote:
> > 1. Do you consider the comment describing which symbols are pulled
> >    from the header as noise or worthwile information?
> 
> Very useful!

No.  This information gets out of date.

Neal

Reply via email to