In the past we've had threads just to decide whether to add or change
tiny thingsSome of those discussions about tiny things are necessary and useful, but sometimes I think they are unnecessary--and they take time. I decided to avoid a discussion for this point because I did not see a need for one. _______________________________________________ Emacs-devel mailing list Emacs-devel@gnu.org http://lists.gnu.org/mailman/listinfo/emacs-devel
