On Sat, Dec 2, 2017 at 5:30 PM Nicolas Goaziou <m...@nicolasgoaziou.fr> wrote:
> Hopefully fixed. Thank you. > Yes, I confirm the fix. Thank you! -- Kaushal Modi
- [O] Bug in emphasis fontification Kaushal Modi
- Re: [O] Bug in emphasis fontification Nicolas Goaziou
- Re: [O] Bug in emphasis fontification Kaushal Modi
