tags 846537 + confirmed patch pending thanks I confirm that Julien patch fixes this bug. It has been applied to the maintainer private repository and it will be included into the next package release.
-- Thanks, Davide
- Bug#846537: auctex: fails to compile for emacs25 Julian Gilbey
- Bug#846537: <DKIM> Bug#846537: auctex: fa... Rémi Vanicat
- Bug#846537: auctex: fails to compile for em... Julian Gilbey
- Bug#846537: auctex: fails to compile fo... Rémi Vanicat
- Bug#846537: auctex: fails to compil... Davide G. M. Salvetti
