bug#12298: 24.2; wrong font locking for < in comments

[Stefan Kangas]

tags 12298 + notabug
close 12298
quit

Stefan Kangas <stefan@marxist.se> writes:

> > This is Javadoc and the content of Javadoc is HTML plus additional
> > markup using keywords starting with "@", see
> > <https://www.oracle.com/technetwork/java/javase/documentation/index-137868.html#format>.
> > So it seems warning face is correct here?
>
> Ah, you're right.  To put the literal "<" character, one has to type
> "{@literal <}", although it seems like "&lt;" will also work.  (Sorry
> for the confusion; I haven't touched Java in a decade or more...)
>
> If no one objects, I'll just close this as notabug.

No objections within 8 days.  Closing.

Best regards,
Stefan Kangas