>> These two can be merged, can't they? > No, otherwise ``started'' would be highlighted too, and we don't want > that...
Why would we not want that?
Stefan
_______________________________________________
emacs-pretest-bug mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
