Tassilo Horn <[email protected]> writes: Hi all,
> Well, I'll try tomorrow again. Now, I've had a short period where I could reach savannah. The patch is now pushed. Bye, Tassilo _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
