Hey guys,
I think that's enough. As we all know email (and mailing list)
communications can be tricky and simple misunderstandings of the
originally intended tone and message can escalate. But that doesn't help
anybody anymore then, and I also think we can give each other the
benefit of doubt.
The gretl mailing lists have always been (or at least as long as I can
remember) very good in that respect.
cheers
sven