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?
Sorry for the noise, commit 163dcb75bd. Need new glasses 🧐 Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
