Bug#1056160: ITS: auctex

[Davide G. M. Salvetti]

>>>>>  PH == Preuße, Hilmar [2023-11-19]

[...]

PH> Actually it is #1056210 and friends.

Hi Hilmar, I see, thanks.  I should wait for a solution to #1056204
before uploading.

-- 
Thanks,
Davide