Hi Jean-François and Arash, >>>>> Arash Esbati <[email protected]> writes: > Yes, I think we need a sort of solution for this. IIUC, Frank M. says > that `users need to get used to this "ignored error:"'[1], so better we > fix it now.
> I'll wait another day or two for Keita to see if he has another comment > on this, otherwise I will install it then. I'm sorry for not being active these days🙏. The patch looks good to me, so please go ahead. Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine #Gaza #StopGenocide #CeasefireNOW _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
