> I propose to ignore this for the moment. It is low hanging fruit so we can
> take care of it at any time.

OK, but what about the docs? Should I remove the description of linuxdoc or not?

regards Uwe

Reply via email to