Hi Paul, "Paul D. Nelson" <ultr...@gmail.com> writes:
> I think the answer to both of your questions is "yes". Thanks for your > feedback and best, I massaged that change a little and installed it. Many thanks for the change set, closing. Best, Arash _______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
