Uwe Brauer <o...@mat.ucm.es> writes: > If I understand the BUG is from 2015, right? I wrote it, but well I > don't recall the details any more, so yes I think it is safe to close it.
Thanks for the confirmation. Best, Arash _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
