27 Sep
2017
27 Sep
'17
7:38 a.m.
On 2017-09-26 22:56, Bardur Arantsson wrote:
I think ship has sailed on naming, but a "-Weverything" might be very useful, I think.
Sorry, that was a brain fart. There *is* a -Weverything these days.
(A "-Wfuture-deprecation" or similar might be warranted too, and should probably be included in "-Weverything".)
This might still be relevant. Regards,