On Wed 21 Feb 2018 at 14:52, Arash Esbati <[email protected]> wrote: > Alex Branham <[email protected]> writes: > >> Sounds great, here's a small patch. I also added the copyright header >> and fixed that one quote. > > Many thanks for the patch. I slightly touched it and committed it under > your name; I also added an entry to the news. I close this bug then.
Great, thanks! Alex > > http://git.savannah.gnu.org/cgit/auctex.git/commit/?id=5592c69435c03110e207ef05feed96741cb94d1b _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
