Gustavo Barros <[email protected]> writes: > Yes, very much so. Thank you!
Thanks for your response. I installed that change (commit c9ab5d58) incl. some other minor issues I found. Closing this report. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
