On Thu, 17 Aug 2023 at 04:25, Ikumi Keita <[email protected]> wrote: > > Thank you for confirmation. I pushed the fix to the git repository. >
Thank you very much. Best, Gustavo. _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
