Davide G. M. Salvetti Sun, 19 Nov 2023 08:09:15 -0800
tags 1028238 +confirmed +pending thanks I'm working on AUCTeX 13.2 and will upload soon.
-- Thanks, Davide
