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