On Thu, 19 Jul 2018 at 14:01, Paul Koning wrote:
> Warnings are appropriate for code that is known to be a source of bugs, or 
> where there is a reasonable chance that the intent of the programmer doesn't 
> match what was actually written.  That's not the case here.
Agreed. This seems to be a purely stylistic preference.

Reply via email to