Package: auctex Version: 11.06 Severity: wishlist User: salve Usertags: bugs.debian.org/172237
This bug has been originally reported by a Debian user: see <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=172237>. -- Thanks, Davide _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
