Uwe Brauer <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
