Ikumi Keita <[email protected]> writes: > Thanks, I committed to the master branch and pushed. I'll close this > bug.
Thanks Keita. Can you in future also add/amend the bug number to the commit message, please? It makes it easier to search for a bug inside Git. TIA. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
