bug#70525: [PATCH] Make auto-reveal customizations easier to extend

[Paul Nelson]

> So bug#70607 is the next to tackle?

👍 [thumbs up emoji, in case it doesn't render]

_______________________________________________
bug-auctex mailing list
bug-auctex@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-auctex