Gents, "Paul D. Nelson" <[email protected]> writes:
> Thanks, I've pushed and am closing the bug. Thanks. > @Al: thanks again for all your work on this! Indeed, thanks a lot for this. Can I ask for a final step: Can you please also make a suggestion for NEWS.org? I'd then release AUCTeX 14.2.0. TIA. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
