|
From: Robert D. <rob...@gm...> - 2017-06-21 04:46:31
|
On 2017-06-19, Gunter Königsmann <gu...@pe...> wrote: > I would see things like > >> ratprint: replacing 0.5 by 1/2 (0.5) > > not as "warning", but as "info". > and therefore would not highlight these strings. Agreed -- these are not warning messages. best Robert Dodier |