Paul Eggert wrote:
>> That probably deserves a NEWS entry
> Thanks, I pushed this:

Thanks.  Closing.



Reply via email to