No worries, thanks for the fix! On Fri, Mar 8, 2024, 4:16 AM Arash Esbati <ar...@gnu.org> wrote:
> Arash Esbati <ar...@gnu.org> writes: > > > I think I will wait another day or two if there are other comments and > > then install this version: > > I installed the change (commit 03a5aac0d7) and therefore closing this > report. Again, sorry it took so long. > > Best, Arash >
_______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
