Your patch looks good to me. Thanks. It is small enough to be a "tiny change". Would someone please install it?
_______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel