>>>>> Arash Esbati <[email protected]> writes:
> Ikumi Keita <[email protected]> writes:
>> I've just installed fix for this behavior in the git repository. Try it
>> out if you can.

> Forgot to push?

No, it is installed as commit 163dcb75.

Bye,
Ikumi Keita



_______________________________________________
bug-auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-auctex

Reply via email to