Ikumi Keita <ik...@ikumi.que.jp> 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 bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
