Paul Eggert wrote:
> I installed the following patch to try to document this issue better
> and am taking the liberty of marking this as done.  Further comments
> are welcome (and we can reopen the bug as needed).

Nice.  Thanks!



Reply via email to