Thanks Bill, in fact, I already integrated your improvements - thank you very much for your contribution! Unfortunately, I didn't manage to package the new distribution before going on vacation. I'll do it when I'm back from Europe mid/end of August. Best, SergeyReceived on Wednesday, 19 July 2000 11:58:29 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:24 UTC