> Or did you mean: yes to change "?\ ", no to change other "?\ "?
>
> Because, after taking a look at it, many or most uses are "?\ ", so
> it doesn't really pay to change ones and not the others...
IMO, we should change all of them, but is this really the time?
For fixing minor flaws, now's a fine time.
_______________________________________________
Emacs-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-devel
