> 4. The attached patch improves the pseudo-parent mode facility to cover > `provided-mode-derived-p' as well, and fix this bug.
I pushed a slightly enhanced fix to the git repo. I'm closing this bug. Regards, Ikumi Keita #StandWithUkraine #StopWarInUkraine #Gaza #StopMassiveKilling #CeasefireNOW _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
