FWIW, I'm marking this bug as fixed in 38fbd161e4. Thanks,
-- Bastien
- Re: Bug: Fontification: Heading following a comment Bastien
- Re: [PATCH] Bug: Fontification: Heading following a... Sebastien Miquel
- Re: [PATCH] Bug: Fontification: Heading followi... Nicolas Goaziou
- Re: [PATCH] Bug: Fontification: Heading fol... Sébastien Miquel
- Re: [PATCH] Bug: Fontification: Heading... Nicolas Goaziou
- Re: [PATCH] Bug: Fontification: Heading followi... Bastien
