|
From: Robert D. <rob...@gm...> - 2017-06-21 04:59:18
|
On 2017-06-19, Gunter Königsmann <gu...@pe...> wrote: > Perhaps the best way to describe what I'm wanting to do is a patch - > which is attached to this message. I dunno -- some of these I can agree with, but many I don't. I wouldn't change "warning" to "Warning". I would change "WARNING" and other variants to "warning". I made some effort a few years ago to regularize the messages which are printed in various places. I changed a lot of them but apparently I overlooked some too. best, Robert Dodier |