Paul Eggert wrote: > Yes, thanks, that works -- I just now checked with the > Emacs trunk.
Thanks for checking. I've now pushed the change. Bruno
Paul Eggert wrote: > Yes, thanks, that works -- I just now checked with the > Emacs trunk.
Thanks for checking. I've now pushed the change. Bruno