"Dr. Werner Fink" <[email protected]> writes: > Sound reasonable indeed! Thanks for the proposal.
Thanks for the confirmation. I pushed that change as well, so I'm closing this report. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
