Re: font-lock-comment-delimiter-face

[Kim F. Storm]

Stefan Monnier <address@hidden> writes:

>> And this is a small change.

And - as any small change - causes a lot of discussion which
takes away time from making the release.

> - The most important problem: it's majorly buggy.

And we can conclude by now that THERE ARE NO SMALL CHANGES.

So far, it seems that the only user wanting this new feature
is RMS, and it surely wasn't listed in FOR-RELEASE before it
was added.

Sigh!

-- 
Kim F. Storm <address@hidden> http://www.cua.dk