On Wed, Aug 02 2023 at 8:23 +02, Janusz S. Bień wrote: > On Wed, Aug 02 2023 at 6:09 GMT, Debian Bug Tracking System wrote: >> Thank you for filing a new Bug report with Debian. >> >> You can follow progress on this Bug here: 1042874: >> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042874. > > There was an encoding problem with quoting the error message, so I > enclosed it in the attachment.
I've upgraded AUCTeX to the current version and I'm unable now to reproduce the problem. I'm still curious what information is encoded in the error message and I will try to look into it. Regards JSB -- , Janusz S. Bien emeryt (emeritus) https://sites.google.com/view/jsbien