Hi Paul and Stefan, >>>>> "Paul D. Nelson" <[email protected]> writes: >> Should we push it to `master`?
> I'm curious what Arash/Ikumi think -- if they don't like the idea, then > I'm happy to put this in the wastebin and regard it as an exercise. I don't have enough spare time for now to have closer look at Paul's proposal, so I don't mind. Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine #Gaza #StopMassiveKilling #CeasefireNOW _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
