Re: Lint in 2012

[Paul Eggert]

On 08/02/2012 04:48 AM, Akim Demaille wrote:
> Do you think this is still needed?

Probably not; I haven't used lint seriously for
decades, and even old-fashioned types must have
stopped using it by now.