Paul Eggert wrote:
> Thanks for mentioning that.  I installed the following to fix this,
> and to detect the problem Ralf noted.

That seems to have fixed things.  It is happy now.

Thanks!
Bob


Reply via email to