Paul Eggert wrote:
OK, thanks, I installed that, after tightening up the documentation
a bit.  Here's the documentation patch I installed.

Great!  A note in NEWS might be worthwhile as well.



Reply via email to