On Tue, Jan 16, 2018 at 10:53 AM, Ian Jackson < ijack...@chiark.greenend.org.uk> wrote:
> > But I'm a hardy soul who is quite prepared to see a warning and decide > to ignore it :-). > > My view is that the purpose of a warning is to alert you to something, > so you can decide what to do about it. What is the difference between "warn" and "info", then? -m
