On 1/11/22 10:52 AM, Eugene Shalygin wrote:
Just drop it.OK. Are there any other edits (want to generate as few new emails as possible)?
No need to resend because of this; I can drop it myself. No, I don't have any further comments at this point, but I would like to see (test/review) feedback by others before applying the series. Guenter
