Paul Eggert wrote:
> I looked at it just now; seems OK, and I installed it. Thanks.

I added a corresponding ChangeLog entry.


Reply via email to