chiark / gitweb /
Separate lint messages into warnings and pedantic warnings