23 Jun
2017
23 Jun
'17
11:13 a.m.
On 06/17/2017 09:25 AM, Jan Rheinländer wrote:
Is there any interest in eliminating this kind of warning? Then I could put together a list.
Sure! You may also consider sending a patch right away. -richy. -- Richard B. Kreckel <https://in.terlu.de/~kreckel/>