Paul Eggert <[EMAIL PROTECTED]> wrote: > Ah, thanks, I see. Here's a patch to solve that problem in a different > way, which doesn't involve closing everything in sight. Does this > look reasonable?
Sure, it is. I have applied this to the repository. Thank you. Regards, Sergey
