Subject: Re: bug#41564: Auctex on elpa, dated may 24th 2020 is broken
From: Tassilo Horn <[email-masked]>
To: Marco Falconi <[email-masked]>
Cc: [email-masked]
Date: Fri, 29 May 2020 21:31:52 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Marco Falconi <[email-masked]> writes:

Hi Marco,

> I happily removed that function, and now everything is back to normal
> as you suggested.
>
> I use the function to fontify in equations (that keeps working), but
> not the one that fontifies theorems and lemmas, so I have not lost
> anything in removing that.

That's good news.  I'm therefore closing this bug report.

Bye,
Tassilo