Paul Eggert <egg...@cs.ucla.edu> writes:

> Good question. Addressed in the attached patch, which I pushed.

Thanks for improving this -- it addresses my concerns.

/Simon

Attachment: signature.asc
Description: PGP signature

Reply via email to